scientific article; zbMATH DE number 4051568

MaRDI QIDQ3787978zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1987

Full work available at URL http://www.numdam.org/item?id=SB_1986-1987__29__173_0, https://eudml.org/doc/110077

zbMATH Keywords

second-order lambda-calculustyped \(\lambda \)-calculus

Mathematics Subject Classification ID

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

Recommendations

• The semantics of second-order lambda calculus
• scientific article; zbMATH DE number 3882403
• The complexity of type inference for higher-order typed lambda calculi
• scientific article; zbMATH DE number 46869
• Semantics of the second order lambda calculus

Cited in

(8)

• Typing and computational properties of lambda expressions
• scientific article; zbMATH DE number 3882403 (Why is no real title available?)
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• scientific article; zbMATH DE number 4087627 (Why is no real title available?)
• Semantics of the second order lambda calculus
• Pedagogical lambda-cube: the \(\lambda^{2}\) case
• An elementary fragment of second-order lambda calculus
• The semantics of second-order lambda calculus

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 Q3787978)