scientific article; zbMATH DE number 3573844

zbMATH Open0368.02036MaRDI QIDQ4145693FDOQ4145693

Authors G. E. Mints 

Publication date 1977

Full work available at URL https://eudml.org/doc/188195

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)

Cited in

(12)

• scientific article; zbMATH DE number 4168913 (Why is no real title available?)
• On natural transformations of distinguished functors and their superpositions in certain closed categories
• Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
• The structure of free closed categories
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
• A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object
• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
• Aspects of categorical recursion theory
• Combining first order algebraic rewriting systems, recursion and extensional lambda 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 Q4145693)