A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

DOI10.1002/MALQ.19930390155zbMath0799.03062OpenAlexW1978033969MaRDI QIDQ4304789

Silvio Valentini

Publication date: 24 November 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390155

zbMATH Keywords

typed lambda-calculusnormal form theorem for the closed terms of Girard's System F

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

This page was built for publication: A proof of the normal form theorem for the closed terms of Girard's system F by means of computability