"A Category Theoretic Formulation for Engeler-style Models of the Untyped ..."

Martin Hyland et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics