scientific article; zbMATH DE number 3941501

MaRDI QIDQ3714049zbMATH OpenFDO

Authors Pierre-Louis Curien

Publication date 1985

zbMATH Keywords

cartesian closed categoriesfunctional programming languageslambda calculussyntactic equivalence

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General topics in the theory of software (68N01)

Recommendations

• Categorical combinators
• scientific article; zbMATH DE number 3941502
• scientific article; zbMATH DE number 4074446
• scientific article; zbMATH DE number 3952011
• scientific article; zbMATH DE number 742724

Cited in

(22)

• Categorical abstract machines for higher-order typed -calculi
• Categorial fibring of logics with terms and binding operators
• scientific article; zbMATH DE number 5667200 (Why is no real title available?)
• A Rewriting System for Categorical Combinators with Multiple Arguments
• scientific article; zbMATH DE number 3904559 (Why is no real title available?)
• scientific article; zbMATH DE number 3928997 (Why is no real title available?)
• scientific article; zbMATH DE number 3941502 (Why is no real title available?)
• scientific article; zbMATH DE number 3952011 (Why is no real title available?)
• Categorical combinators
• scientific article; zbMATH DE number 3985475 (Why is no real title available?)
• scientific article; zbMATH DE number 4047059 (Why is no real title available?)
• scientific article; zbMATH DE number 4068832 (Why is no real title available?)
• scientific article; zbMATH DE number 4074446 (Why is no real title available?)
• scientific article; zbMATH DE number 742724 (Why is no real title available?)
• A categorical understanding of environment machines
• scientific article; zbMATH DE number 897905 (Why is no real title available?)
• Decomposing typed lambda calculus into a couple of categorical programming languages
• Classical lambda calculus in modern dress
• scientific article; zbMATH DE number 234028 (Why is no real title available?)
• Comparing Hagino's categorical programming language and typed lambda- calculi
• A category-theoretic characterization of functional completeness
• Alpha conversion, conditions on variables and categorical 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 Q3714049)