Pages that link to "Item:Q1349674"
From MaRDI portal
The following pages link to A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674):
Displaying 6 items.
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- A useful \(\lambda\)-notation (Q1365680) (← links)
- Refining reduction in the lambda calculus (Q4880488) (← links)
- Canonical typing and ∏-conversion in the Barendregt Cube (Q4895552) (← links)
- THE SOUNDNESS OF EXPLICIT SUBSTITUTION WITH NAMELESS VARIABLES (Q5248982) (← links)
