scientific article; zbMATH DE number 897905

zbMATH Open0856.03015MaRDI QIDQ4884898FDOQ4884898

Authors: György E. Révész 

Publication date: 24 February 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Cartesian closed categoriesChurch-Rosser propertycategorical combinatory logiccombinatory 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)

Cited In (4)

• The Church-Rosser property in symmetric combinatory logic
• Categorical combinators
• Title not available (Why is that?)
• On the efficiency of categorical combinators as a rewriting system

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)