The following pages link to (Q4038654):
Displayed 6 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)
- Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction (Q5178963) (← links)
- Communicating contexts: A pragmatic approach to information exchange (Q6083892) (← links)