The following pages link to (Q4133598):
Displayed 6 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)
- A new type assignment for λ-terms (Q3208623) (← links)
- (Q3869322) (← links)
- (Q3890661) (← links)
- (Q3910511) (← links)