Re: domains for typed lambda calculi

Dnia 02-05-2008 o 07:48:14 JohnF <john@xxxxxxxxxxxxxxxxxxxxxxxxxxxx> napisał(a):

[...]

That's exactly what I was looking for.

If so (i.e. if you are really interested in categorical models), than I strongly suggest you to read

,,An introduction to fibrations, topos theory, the effective topos and modest sets'' by Wesley Phoa (you will find this article here: http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-208)

and

,,Categorical Logic and Type Theory'' by Bart Jacobs.


mp
.