The following pages link to (Q4133598):
Displayed 7 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars (Q2835046) (← links)
- A new type assignment for λ-terms (Q3208623) (← links)
- (Q3869322) (← links)
- (Q3890661) (← links)
- (Q3910511) (← links)