scientific article; zbMATH DE number 3573844

MaRDI QIDQ4145693zbMATH OpenFDO

Authors G. E. Mints

Publication date 1977

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

Mathematics Subject Classification ID

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

Cited in

(12)

• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Combining algebraic rewriting, extensional lambda calculi, and fixpoints
• Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
• scientific article; zbMATH DE number 4168913 (Why is no real title available?)
• 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
• 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
• The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
• On natural transformations of distinguished functors and their superpositions in certain closed categories
• The structure of free closed categories

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)