The following pages link to (Q4038654):
Displayed 4 items.
- Comparing Hagino's categorical programming language and typed lambda- calculi (Q685425) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- Algebraic domains of natural transformations (Q1349657) (← links)
- A unified approach to type theory through a refined \(\lambda\)-calculus (Q1349674) (← links)