Alpha-conversion and typability

DOI10.1006/INCO.1998.2756MaRDI QIDQ1854262zbMATH OpenOpenAlexFDO

Authors Assaf Kfoury, Jerzy Tiuryn, Simona Ronchi Della Rocca, Paweł Urzyczyn

Publication date 14 January 2003

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

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

Recommendations

• On the complexity of alpha conversion
• Alpha conversion, conditions on variables and categorical logic
• scientific article; zbMATH DE number 65534
• scientific article; zbMATH DE number 4210044
• Varying alpha
• scientific article; zbMATH DE number 6532530
• Typing theorems of omega algebra
• Alpha, FACTT, and beyond

Cites work

• scientific article; zbMATH DE number 445157 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1142317 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Finitely stratified polymorphism
• Some lambda calculus and type theory formalized
• Type reconstruction in F_ω

Cited in

(9)

• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• \( \alpha\)-avoidance
• scientific article; zbMATH DE number 4047723 (Why is no real title available?)
• Extensional higher-order paramodulation in Leo-III
• On the complexity of alpha conversion
• The variable containment problem
• \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners
• scientific article; zbMATH DE number 417312 (Why is no real title available?)
• Varying alpha

This page was built for publication: Alpha-conversion and typability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854262)