scientific article; zbMATH DE number 4134007

MaRDI QIDQ3035256zbMATH OpenFDO

Authors Paul Rozière

Publication date 1989

zbMATH Keywords

calculus of constructionsfinite order typed \(\lambda \) -calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4087627
• Type reconstruction in F_ω
• scientific article; zbMATH DE number 512796
• scientific article; zbMATH DE number 445157
• scientific article; zbMATH DE number 1086674

Cited in

(6)

• Reducibility of types in typed lambda calculus. Comment on a paper by Richard Statman
• The Inf function in the system \(F\)
• scientific article; zbMATH DE number 417312 (Why is no real title available?)
• scientific article; zbMATH DE number 4037857 (Why is no real title available?)
• scientific article; zbMATH DE number 4087627 (Why is no real title available?)
• scientific article; zbMATH DE number 1086674 (Why is no real title available?)

This page was built for publication:

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