The following pages link to The Type Theory of PL/CV3 (Q3673081):
Displaying 6 items.
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Generalization from partial parametrization in higher-order type theory (Q1122980) (← links)
- Type checking with universes (Q1177937) (← links)
- Static semantics, types, and binding time analysis (Q1179698) (← links)
- (Q5094128) (← links)