The following pages link to Alpha-conversion and typability (Q1854262):
Displaying 3 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners (Q3453128) (← links)