Parameter-free polymorphic types

DOI10.1016/J.APAL.2008.06.002MaRDI QIDQ958481zbMATH OpenOpenAlexFDO

Authors Klaus Aehlig

Publication date 5 December 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2008.06.002

zbMATH Keywords

inductive definitionslambda calculuspolymorphismsecond-order arithmetictypes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 1722646
• Formal parametric polymorphism
• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 1984519
• An elementary fragment of second-order lambda calculus

Cites work

• Handbook of proof theory
• scientific article; zbMATH DE number 1722646 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1215495 (Why is no real title available?)
• scientific article; zbMATH DE number 1215496 (Why is no real title available?)
• scientific article; zbMATH DE number 1385477 (Why is no real title available?)
• Induction and inductive definitions in fragments of second order arithmetic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the computational content of the axiom of choice

Cited in

(10)

• scientific article; zbMATH DE number 1722646 (Why is no real title available?)
• scientific article; zbMATH DE number 2086242 (Why is no real title available?)
• scientific article; zbMATH DE number 4148057 (Why is no real title available?)
• scientific article; zbMATH DE number 1984519 (Why is no real title available?)
• Datatype laws without signatures
• Atomic polymorphism
• Types as parameters
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
• An elementary fragment of second-order lambda calculus
• Schwichtenberg's style analysis of parameter-free fragments of Girard's system F

This page was built for publication: Parameter-free polymorphic types

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