The computational content of atomic polymorphism

DOI10.1093/JIGPAL/JZY076MaRDI QIDQ5241920zbMATH OpenOpenAlexFDO

Authors Gilda Ferreira, Vasco T. Vasconcelos

Publication date 4 November 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10400.2/9415

zbMATH Keywords

\(\beta\)-equalityextended polynomialslambda calculusnormalizationpredicative polymorphismrepresentable functions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Atomic polymorphism
• An elementary proof of strong normalization for atomic F
• Stratified polymorphism and primitive recursion
• scientific article; zbMATH DE number 1722646
• scientific article; zbMATH DE number 3882404

Cited in

(3)

• Structures definable in polymorphism
• Atomic polymorphism
• Turing-completeness of polymorphic stream equation systems

This page was built for publication: The computational content of atomic polymorphism

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