Pages that link to "Item:Q1349674"

The following pages link to A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674):

Displaying 3 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)