On the public citation graph
Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic
0 signed · 67 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0079385openalex-snapshot
Deductive systems and categories II. Standard constructions and closed categories
inferredcites →https://doi.org/10.1007/bfb0080769openalex-snapshot
Diagonal arguments and cartesian closed categories
inferredcites →https://doi.org/10.1111/j.1746-8361.1969.tb01194.xopenalex-snapshot
Adjointness in Foundations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19830291005openalex-snapshot
HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
inferred← citeshttps://doi.org/10.1002/mana.19740640106openalex-snapshot
Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
inferred← citeshttps://doi.org/10.1007/3-540-10699-5_99openalex-snapshot
On the definition of lambda-calculus models
inferred← citeshttps://doi.org/10.1007/3-540-51237-3_19openalex-snapshot
A category of many-sorted algebraic theories which is equivalent to the category of categories with finite products
inferred← citeshttps://doi.org/10.1007/978-1-4613-0609-2_8openalex-snapshot
Structural Rules and a Logical Hierarchy
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_27openalex-snapshot
Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers
inferred← citeshttps://doi.org/10.1007/978-3-031-34827-3_1openalex-snapshot
Drawing Types and Functions
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4openalex-snapshot
Axiomatic Method and Category Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_10openalex-snapshot
New Axiomatic Method (Instead of Conclusion)
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_2openalex-snapshot
Euclid: Doing and Showing
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_3openalex-snapshot
Hilbert: Making It Formal
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_4openalex-snapshot
Formal Axiomatic Method and the Twentieth Century Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_5openalex-snapshot
Lawvere: Pursuit of Objectivity
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_6openalex-snapshot
Identity in Classical and Constructive Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_7openalex-snapshot
Identity Through Change, Category Theory and Homotopy Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_8openalex-snapshot
How Mathematical Concepts Get Their Bodies
inferred← citeshttps://doi.org/10.1007/978-3-319-00404-4_9openalex-snapshot
Categories Versus Structures
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_24openalex-snapshot
Proof Identity for Classical Logic: Generalizing to Normality
inferred← citeshttps://doi.org/10.1007/978-3-642-17764-4_3openalex-snapshot
Formal-Language-Oriented Foundation of Dynamics of Human Crowds Using Topos-Theory
inferred← citeshttps://doi.org/10.1007/978-3-662-05679-0_9openalex-snapshot
Combinatory Logic, Language, and Cognitive Representations
inferred← citeshttps://doi.org/10.1007/bf01084396openalex-snapshot
The category of finite sets and Cartesian closed categories
inferred← citeshttps://doi.org/10.1007/bf01404107openalex-snapshot
Closed categories and the theory of proofs
inferred← citeshttps://doi.org/10.1007/bfb0023999openalex-snapshot
Using domain algebras to prove the correctness of a compiler
inferred← citeshttps://doi.org/10.1007/bfb0061294openalex-snapshot
Logical categories, semantical categories and topoi
inferred← citeshttps://doi.org/10.1007/s10516-014-9260-9openalex-snapshot
An Overview of Type Theories
inferred← citeshttps://doi.org/10.1007/s10958-010-0002-2openalex-snapshot
Categorical interpretation of logical derivations and its applications in algebra
inferred← citeshttps://doi.org/10.1007/s11245-009-9066-3openalex-snapshot
How Mathematical Concepts Get Their Bodies
inferred← citeshttps://doi.org/10.1016/b978-0-444-51621-3.50010-4openalex-snapshot
The History of Categorical Logic: 1963–1977
inferred← citeshttps://doi.org/10.1016/j.apal.2007.03.005openalex-snapshot
Coherence in smccs and equivalences on derivations in imll with unit
inferred← citeshttps://doi.org/10.1016/j.tcs.2012.01.001openalex-snapshot
Monoidal indeterminates and categories of possible worlds
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70018-4openalex-snapshot
Lambda-Calculus and Combinators in the 20th Century
inferred← citeshttps://doi.org/10.1017/s0960129500000062openalex-snapshot
From Petri nets to linear logic
inferred← citeshttps://doi.org/10.1017/s0960129520003047openalex-snapshot
Introduction to linear bicategories
inferred← citeshttps://doi.org/10.1017/s175502031600037xopenalex-snapshot
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
inferred← citeshttps://doi.org/10.1023/a:1021941217859openalex-snapshot
The MacLane Problem on the Set-Theoretic Foundation for Category Theory. II
inferred← citeshttps://doi.org/10.1023/b:joth.0000036654.35847.40openalex-snapshot
A Local Two-Sorted Theory of Classes and Sets: MacLane's Problem and Mostowski's Program
inferred← citeshttps://doi.org/10.1080/01445340.2021.1889117openalex-snapshot
The Deduction Theorem (Before and After Herbrand)
inferred← citeshttps://doi.org/10.1090/s0002-9947-1977-0444740-9openalex-snapshot
Coherence in Nonmonoidal Closed Categories
inferred← citeshttps://doi.org/10.1093/logcom/exs038openalex-snapshot
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
inferred← citeshttps://doi.org/10.1093/logcom/exu002openalex-snapshot
A substructural logic for layered graphs
inferred← citeshttps://doi.org/10.1109/ccca.2012.6417920openalex-snapshot
Algebraic characterization of self-orientation systems
inferred← citeshttps://doi.org/10.2178/bsl/1067620091openalex-snapshot
Identity of Proofs Based on Normalization and Generality
inferred← citeshttps://doi.org/10.2178/jsl/1058448435openalex-snapshot
Generality of proofs and its Brauerian representation
inferred← citeshttps://doi.org/10.2307/2275186openalex-snapshot
Lambek's categorical proof theory and Läuchli's abstract realizability
inferred← citeshttps://doi.org/10.4204/eptcs.332openalex-snapshot
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
inferred← citeshttps://doi.org/10.4204/eptcs.332.3openalex-snapshot
Deductive Systems and Coherence for Skew Prounital Closed Categories
inferred← citeshttps://doi.org/10.48550/arxiv.math/0111061openalex-snapshot
Abstraction and Application in Adjunction
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.