Complete Types in an Extension of the System AF2

DOI10.3166/JANCL.13.73-85zbMath1185.03011arXiv0905.0371OpenAlexW1965619950MaRDI QIDQ3647204

Samir Farkh, Karim Nour

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0905.0371

zbMATH Keywords

typed lambda-calculuscomplete typesecond-order functional arithmeticsystem \({\mathcal A}{\mathcal F}2\)type with positive quantifier

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• Polymorphic type inference and containment
• Classical logic, storage operators and second-order lambda-calculus
• A semantical storage operator theorem for all types
• Résultats de complétude pour des classes de types du système $\mathcal {AF}2$
• Storage Operators and ∀‐positive Types in TTR Type System

This page was built for publication: Complete Types in an Extension of the System AF2