A quantitative interpretation of Girard's System F

DOI10.1016/0304-3975(88)90137-5zbMath0653.03009OpenAlexW2001276519MaRDI QIDQ1107514

André Martino

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90137-5

zbMATH Keywords

nondeterminismGirard's System F of variable typesquantitative interpretationsquantitative lambda-structures

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus