Alpha-conversion and typability

DOI10.1006/inco.1998.2756zbMath1004.03005OpenAlexW2028243582MaRDI QIDQ1854262

A. J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn, Simonetta Ronchi della Rocca

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1998.2756

zbMATH Keywords

typabilityalpha-conversionsecond-order \(\lambda\)-calculushigher-order \(\lambda\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners ⋮ Extensional higher-order paramodulation in Leo-III ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finitely stratified polymorphism
• Some lambda calculus and type theory formalized
• Type reconstruction in F_ω