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

typeslambda calculuspolymorphismsecond-order arithmeticinductive definitions

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

• 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?)
• Handbook of proof theory
• 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

(9)

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

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)