A.M.Pitts: The theory of constructions: categorical semantics and topos-theoretic models (0)

by J M E Hyland
Venue:in Categories in Computer Science and Logic (Proc. Boulder '87), Contemporary