Categorical combinators

DOI10.1016/S0019-9958(86)80047-XMaRDI QIDQ3745827zbMATH OpenOpenAlexFDO

Authors Pierre-Louis Curien

Publication date 1986

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-9958(86)80047-x

zbMATH Keywords

Cartesian closed categoriescategorical combinatory logicfunctional programminglambda-calculussurjective pairing

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited in

(36)

• Functional programming with combinators
• Church-Rosser theorem for a rewriting system on categorical combinators
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• A notation for lambda terms. A generalization of environments
• A proof of the substitution lemma in de Bruijn's notation
• Simply typed lambda calculus with first-class environments
• A formalized general theory of syntax with bindings: extended version
• Reverse AD at higher types: pure, principled and denotationally correct
• Applications of methods of proof theory in category theory.
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Kingman, category and combinatorics
• λν, a calculus of explicit substitutions which preserves strong normalisation
• scientific article; zbMATH DE number 445156 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 7217023 (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 3941501 (Why is no real title available?)
• scientific article; zbMATH DE number 3985475 (Why is no real title available?)
• On the efficiency of categorical combinators as a rewriting system
• scientific article; zbMATH DE number 4068832 (Why is no real title available?)
• The Categorical Multi-Combinator Machine: CMCM
• scientific article; zbMATH DE number 742724 (Why is no real title available?)
• scientific article; zbMATH DE number 897905 (Why is no real title available?)
• Categories with families: unityped, simply typed, and dependently typed
• scientific article; zbMATH DE number 7204450 (Why is no real title available?)
• A categorical reduction system for linear logic
• Combinations related to classes of finite and countably categorical structures and their theories
• scientific article; zbMATH DE number 234028 (Why is no real title available?)
• A formal logic for formal category theory
• Quasi-prime algebraic domains
• Semantics of the typed -calculus with substitution in a cartesian closed category
• Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic
• Notions of computation and monads
• A category-theoretic characterization of functional completeness
• Alpha conversion, conditions on variables and categorical logic

This page was built for publication: Categorical combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3745827)