scientific article; zbMATH DE number 4047059

MaRDI QIDQ3783516zbMATH OpenFDO

Authors Rafael Dueire Lins

Publication date 1986

zbMATH Keywords

categorical combinatorscomplexityformal systemfunctional programmingrewriting systemtyped \(\lambda \)- calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the efficiency of categorical combinators as a rewriting system
• A Rewriting System for Categorical Combinators with Multiple Arguments
• scientific article; zbMATH DE number 3941501
• scientific article; zbMATH DE number 4074446
• scientific article; zbMATH DE number 4068832

Cited in

(7)

• C-expressions: A variable-free calculus for equational logic programming
• On explicit substitution with names
• Unification for -calculi without propagation rules
• A Rewriting System for Categorical Combinators with Multiple Arguments
• On the efficiency of categorical combinators as a rewriting system
• scientific article; zbMATH DE number 4068832 (Why is no real title available?)
• A flexible framework for visualisation of computational properties of general explicit substitutions calculi

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