The following pages link to (Q3754604):
Displaying 7 items.
- High-level modelling for typed functional programming (Q832100) (← links)
- On the eliminability of ideal linguistic entities (Q916641) (← links)
- Gaifman's theorem on categorial grammars revisited (Q1115429) (← links)
- Algebraic structures in categorial grammar (Q1129119) (← links)
- \(\mathsf{CoreFun}\): a typed functional reversible core language (Q1796398) (← links)
- (Q4256310) (← links)
- (Q4484334) (← links)