scientific article; zbMATH DE number 1114357

MaRDI QIDQ4376079zbMATH OpenFDO

Authors Hongwei Xi

Publication date 1 June 1998

zbMATH Keywords

second-order polymorphic \(\lambda\)-calculussimulating \(\eta\)-expansions with \(\beta\)-reductions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2185658
• Syntactic analysis of \(\eta\)-expansions in pure type systems.
• Simulating expansions without expansions
• scientific article; zbMATH DE number 1086667

Cited in

(1)

• scientific article; zbMATH DE number 2185658 (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 Q4376079)