Categorical Type Theory

Indeholder "Abstract", "Introduction", "Overview of Type Theory", "Type Categories", "Proof Theory", "A Hierarchy of Universes", "Dependent Types", "Extended Proof Theory", "Rules for Dependent Types", "Subtype Construction", "Derivation of Syntax", "Rules with Syntax Annotation", "Conclusions",

Show More

"Acknowledgements", "References".

En Technical Report, som Michael lavede, mens han var i Ithaca. Den er ikke helt nem at finde referencer på, for der er stavefejl i dem. Det er "On Church's Formal Theory of Functions and Functionals" af Giuseppe Longo
som refererer til den som P. Panangaden and M.I. Schwartzbach, [1985], Cagegorical type theory, Comp. Sci. Dept. Technical Report, TR 85-716. Cornell University, Ithaca, NY, 1985.
Cagegorical ?
Og "Partial Objects in Constructive Type Theory" af Robert L. Constable, Scott Fraser Smith, som referer til den som P. Panangaden and M.I. Schwartzbach: Categorical Type Thoery.
Thoery ?

Show Less