scientific article; zbMATH DE number 7577586

MaRDI QIDQ5101355zbMATH OpenFDO

Authors M. Clarence Protin, Gilda Ferreira

Publication date 30 August 2022

Full work available at URL https://arxiv.org/abs/2104.13675, https://lmcs.episciences.org/9915

zbMATH Keywords

atomic polymorphismintuitionistic logicLambda calculustypabilitytype inference

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Type inference in polymorphic type discipline
• Polymorphic type inference and containment
• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics
• Type reconstruction with recursive types and atomic subtyping
• Type inhabitation of atomic polymorphism is undecidable
• Polymorphic typed defunctionalization and concretization
• Type inference for pure type systems
• scientific article; zbMATH DE number 3881858

Cites work

• -conversions of IPC implemented in atomic F
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• A simpler undecidability proof for system F inhabitation
• Atomic polymorphism
• Comments on predicative logic
• Embedding first order predicate logic in fragments of intuitionistic logic
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• Rasiowa-Harrop disjunction property
• The naturality of natural deduction
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• Typability and type checking in System F are equivalent and undecidable
• Type inhabitation of atomic polymorphism is undecidable
• What’s Decidable About (Atomic) Polymorphism?

Cited in

(7)

• Polymorphic type inference and containment
• Type soundness for path polymorphism
• Atomic polymorphism
• Intensional polymorphism in type-erasure semantics
• Type inhabitation of atomic polymorphism is undecidable
• What’s Decidable About (Atomic) Polymorphism?
• Typability and Type Inference in Atomic Polymorphism

This page was built for publication:

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