[an error occurred while processing this directive] An error occured whilst processing this directive LFCS Theory Seminar

Type-Theoretical Checking and
Philosophy of Mathematics

N. G. de Bruijn

Department of Mathematics and Computing Science
Eindhoven University of Technology

3.30pm Wednesday 25 November
Room 2511, JCMB, King's Buildings

Professor de Bruijn is visiting Heriot-Watt for a week and participating in a joint symposium on Computational Models of Brain, Language and Reasoning. This is being held on the Thursday: de Bruijn is giving two talks there, both distinct from this one.


Other LFCS Theory Seminars Ian Stark
Friday 20 November 1998
An error occured whilst processing this directive