Pages that link to "Item:Q2565990"
From MaRDI portal
The following pages link to Equivalences between pure type systems and systems of illative combinatory logic (Q2565990):
Displaying 6 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)
- Pure type system conversion is always typable (Q2844696) (← links)
- Higher-order illative combinatory logic (Q2869904) (← links)
- A-translation and looping combinators in pure type systems (Q4764266) (← links)
- Automath and Pure Type Systems (Q4924545) (← links)