scientific article; zbMATH DE number 897905

MaRDI QIDQ4884898zbMATH OpenFDO

Authors György E. Révész

Publication date 24 February 1997

zbMATH Keywords

Cartesian closed categoriescategorical combinatory logicChurch-Rosser propertycombinatory logic with explicit pairsextended \(\lambda\)-calculus with explicit pairs

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 742724
• Categorical combinators
• scientific article; zbMATH DE number 3941501
• On the efficiency of categorical combinators as a rewriting system

Cited in

(5)

• Categorical combinators
• On the efficiency of categorical combinators as a rewriting system
• scientific article; zbMATH DE number 1330136 (Why is no real title available?)
• scientific article; zbMATH DE number 742724 (Why is no real title available?)
• The Church-Rosser property in symmetric combinatory logic

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