The following pages link to (Q4703134):
Displaying 4 items.
- On the adequacy of representing higher order intuitionistic logic as a pure type system (Q1194249) (← links)
- Variants of the basic calculus of constructions (Q1885480) (← links)
- Equivalences between pure type systems and systems of illative combinatory logic (Q2565990) (← links)
- A-translation and looping combinators in pure type systems (Q4764266) (← links)