Pages that link to "Item:Q6075430"
From MaRDI portal
The following pages link to A Comparison of Type Theory with Set Theory (Q6075430):
Displayed 3 items.
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- Spiritus asper versus lambda: on the nature of functional abstraction (Q6165008) (← links)