What’s Decidable About (Atomic) Polymorphism?

DOI10.4230/LIPICS.FSCD.2021.27arXiv2105.00748OpenAlexW3187018013MaRDI QIDQ6159943

Paolo Pistone, Luca Tranchini

Publication date: 23 June 2023

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

zbMATH Keywords

contextual equivalencepredicative polymorphismtype-checkingatomic system Ffree theoremsML-polymorphism

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Related Items (2)

Unnamed Item ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

This page was built for publication: What’s Decidable About (Atomic) Polymorphism?