scientific article; zbMATH DE number 3573844
From MaRDI portal
Publication:4145693
zbMath0368.02036MaRDI QIDQ4145693
Publication date: 1977
Full work available at URL: https://eudml.org/doc/188195
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
Related Items (12)
Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) ⋮ 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 ⋮ Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective ⋮ 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 ⋮ On natural transformations of distinguished functors and their superpositions in certain closed categories ⋮ Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions ⋮ Unnamed Item ⋮ The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type ⋮ Aspects of Categorical Recursion Theory ⋮ The structure of free closed categories
This page was built for publication:
