The following pages link to (Q3194765):
Displaying 6 items.
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case (Q1763159) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- On polymorphic types of untyped terms (Q2453585) (← links)
- On the type correctness of polymorphic \(\lambda\)-terms. I (Q2826506) (← links)
- (Q3138540) (← links)
- Logical Aspects of Computational Linguistics (Q5706932) (← links)