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

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

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)

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