On the public citation graph
Deductive systems and categories
0 signed · 228 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/978-1-4615-7831-4_19openalex-snapshot
Natural Associativity and Commutativity
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.1090/psapm/012/9972openalex-snapshot
On the calculus of syntactic types
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/malq.19970430107openalex-snapshot
A Concrete Categorical Model for the Lambek Syntactic Calculus
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-07142-3_61openalex-snapshot
A Categorist's view of automata and systems
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-15648-8_3openalex-snapshot
Lambda calculus with constrained types
inferred← citeshttps://doi.org/10.1007/3-540-45413-6_18openalex-snapshot
Partially Additive Categories and Fully Complete Models of Linear Logic
inferred← citeshttps://doi.org/10.1007/3-540-45504-3_6openalex-snapshot
Coherent Bicartesian and Sesquicartesian Categories
inferred← citeshttps://doi.org/10.1007/3-540-56944-8_71openalex-snapshot
A complete axiom system for isomorphism of types in closed categories
inferred← citeshttps://doi.org/10.1007/3-540-60164-3_20openalex-snapshot
Proof of a S.Mac Lane conjecture (extended abstract)
inferred← citeshttps://doi.org/10.1007/3-7643-7304-0_5openalex-snapshot
Logic without Self-Deductibility
inferred← citeshttps://doi.org/10.1007/3-7643-7304-0_8openalex-snapshot
What is a Logic, and What is a Proof?
inferred← citeshttps://doi.org/10.1007/978-1-4612-2822-6_8openalex-snapshot
Normal Forms and Cut-Free Proofs as Natural Transformations
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-1-4615-7831-4_22openalex-snapshot
Coherence in Closed Categories
inferred← citeshttps://doi.org/10.1007/978-1-4615-7831-4_26openalex-snapshot
Saunders Mac Lane and Category Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-66545-6_11openalex-snapshot
The Sequent Calculus of Skew Monoidal Categories
inferred← citeshttps://doi.org/10.1007/978-3-030-66545-6_6openalex-snapshot
The Mathematics of Text Structure
inferred← citeshttps://doi.org/10.1007/978-3-030-66545-6_7openalex-snapshot
Aspects of Categorical Recursion Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-88853-4_12openalex-snapshot
Coherence via Focusing for Symmetric Skew Monoidal Categories
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-031-51406-7_12openalex-snapshot
A New Conjecture About Identity of Proofs
inferred← citeshttps://doi.org/10.1007/978-3-031-66040-5_1openalex-snapshot
Quasi - Fractal Propositional Algebra Digitalization of Propositional Algebra and NPC
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-319-10193-4_2openalex-snapshot
Homotopical Categories of Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6openalex-snapshot
Advances in Proof-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-22686-6_4openalex-snapshot
On the Paths of Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-58507-9_5openalex-snapshot
A Logic for Human Actions
inferred← citeshttps://doi.org/10.1007/978-3-319-65430-0_6openalex-snapshot
Categorial Grammars and Their Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-77051-2_1openalex-snapshot
The Problem of General Systems Theory’s Formalization
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-04027-6_16openalex-snapshot
On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
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-642-22221-4_14openalex-snapshot
Are (Linguists’) Propositions (Topos) Propositions?
inferred← citeshttps://doi.org/10.1007/978-3-642-54789-8_13openalex-snapshot
Abstract Tensor Systems as Monoidal Categories
inferred← citeshttps://doi.org/10.1007/978-3-658-19606-6_4openalex-snapshot
Grundlagen des logischen Schließens
inferred← citeshttps://doi.org/10.1007/978-3-658-23715-8_4-1openalex-snapshot
Grundlagen des logischen Schließens
inferred← citeshttps://doi.org/10.1007/978-3-662-03039-4_10openalex-snapshot
Can Categorical Shape Theory Handle Grey-level Images?
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/978-3-662-52921-8_20openalex-snapshot
A Curry–Howard View of Basic Justification Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-54434-1_32openalex-snapshot
Commutative Semantics for Probabilistic Programming
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_27openalex-snapshot
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics
inferred← citeshttps://doi.org/10.1007/978-3-7643-8354-1_5openalex-snapshot
Logic without Self-Deductibility
inferred← citeshttps://doi.org/10.1007/978-3-7643-8354-1_8openalex-snapshot
What is a Logic, and What is a Proof?
inferred← citeshttps://doi.org/10.1007/978-94-007-0214-1_15openalex-snapshot
Logic in Category Theory
inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_12openalex-snapshot
Deductive Systems and Categories in Linguistics
inferred← citeshttps://doi.org/10.1007/978-94-015-6878-4_11openalex-snapshot
Categorial and Categorical Grammars
inferred← citeshttps://doi.org/10.1007/978-94-015-6878-4_4openalex-snapshot
Generative Power of Categorial Grammars
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_10openalex-snapshot
Features in Phonological Theory
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_17openalex-snapshot
Proof Theory and Formal Grammars: Applications of Normalization
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_19openalex-snapshot
Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism
inferred← citeshttps://doi.org/10.1007/978-94-017-8813-7_11openalex-snapshot
Towards Computational Non-associative Lambek Lambda-Calculi for Formal Pragmatics
inferred← citeshttps://doi.org/10.1007/bf00370826openalex-snapshot
Coherence in cartesian closed categories and the generality of proofs
inferred← citeshttps://doi.org/10.1007/bf01084389openalex-snapshot
Equality of maps and coherence theorem for biclosed categories
inferred← citeshttps://doi.org/10.1007/bf01084396openalex-snapshot
The category of finite sets and Cartesian closed categories
inferred← citeshttps://doi.org/10.1007/bf01188178openalex-snapshot
On the structure of varieties with equationally definable principal congruences IV
inferred← citeshttps://doi.org/10.1007/bf01404107openalex-snapshot
Closed categories and the theory of proofs
inferred← citeshttps://doi.org/10.1007/bf02329200openalex-snapshot
An interpretation of classical proofs
inferred← citeshttps://doi.org/10.1007/bfb0018341openalex-snapshot
Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective
inferred← citeshttps://doi.org/10.1007/bfb0018352openalex-snapshot
Graded multicategories of polynomial-time realizers
inferred← citeshttps://doi.org/10.1007/bfb0023999openalex-snapshot
Using domain algebras to prove the correctness of a compiler
inferred← citeshttps://doi.org/10.1007/bfb0039072openalex-snapshot
Rewriting as a unified model of concurrency
inferred← citeshttps://doi.org/10.1007/bfb0059554openalex-snapshot
Closed coherence for a natural transformation
inferred← citeshttps://doi.org/10.1007/bfb0061294openalex-snapshot
Logical categories, semantical categories and topoi
inferred← citeshttps://doi.org/10.1007/bfb0063106openalex-snapshot
Coherence theorems for lax algebras and for distributive laws
inferred← citeshttps://doi.org/10.1007/bfb0066895openalex-snapshot
Toposes are monadic over categories
inferred← citeshttps://doi.org/10.1007/bfb0069976openalex-snapshot
Logique, catégories et faisceaux [d’après F. Lawvere et M. Tierney]
inferred← citeshttps://doi.org/10.1007/bfb0073965openalex-snapshot
Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic
inferred← citeshttps://doi.org/10.1007/bfb0079385openalex-snapshot
Deductive systems and categories II. Standard constructions and closed categories
inferred← citeshttps://doi.org/10.1007/s00012-013-0262-zopenalex-snapshot
Identities for primal Menger algebras
inferred← citeshttps://doi.org/10.1007/s10485-007-9077-4openalex-snapshot
Associative Algebras Related to Conformal Algebras
inferred← citeshttps://doi.org/10.1007/s10485-013-9317-8openalex-snapshot
Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions
inferred← citeshttps://doi.org/10.1007/s10485-021-09650-0openalex-snapshot
Injective Hulls of Quantale-Enriched Multicategories
inferred← citeshttps://doi.org/10.1007/s10516-005-0466-8openalex-snapshot
The Meaning of Category Theory for 21st Century Philosophy
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/s11202-008-0091-zopenalex-snapshot
Multicategories and varieties of many-sorted algebras
inferred← citeshttps://doi.org/10.1007/s11225-005-2801-xopenalex-snapshot
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms
inferred← citeshttps://doi.org/10.1007/s11245-009-9066-3openalex-snapshot
How Mathematical Concepts Get Their Bodies
inferred← citeshttps://doi.org/10.1007/s11787-013-0082-0openalex-snapshot
Deduction as Reduction, from a Categorical Point of View
inferred← citeshttps://doi.org/10.1007/s11787-014-0111-7openalex-snapshot
Contrary-to-Duty Reasoning: A Categorical Approach
inferred← citeshttps://doi.org/10.1016/0003-4843(74)90003-5openalex-snapshot
Functional completeness of cartesian categories
inferred← citeshttps://doi.org/10.1016/0022-4049(71)90013-2openalex-snapshot
Coherence in closed categories
inferred← citeshttps://doi.org/10.1016/0022-4049(76)90068-2openalex-snapshot
Quantifier-complete categories
inferred← citeshttps://doi.org/10.1016/0022-4049(80)90102-4openalex-snapshot
Intuitionist type theory and the free topos
inferred← citeshttps://doi.org/10.1016/0022-4049(82)90060-3openalex-snapshot
Pre-recursive categories
inferred← citeshttps://doi.org/10.1016/0022-4049(87)90061-2openalex-snapshot
On natural transformations of distinguished functors and their superpositions in certain closed categories
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90163-1openalex-snapshot
Languages for monoidal categories
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90031-copenalex-snapshot
The structure of free closed categories
inferred← citeshttps://doi.org/10.1016/0022-4049(95)00159-xopenalex-snapshot
Natural deduction and coherence for weakly distributive categories
inferred← citeshttps://doi.org/10.1016/0168-0072(88)90017-6openalex-snapshot
On church's formal theory of functions and functionals
inferred← citeshttps://doi.org/10.1016/0304-3975(88)90039-4openalex-snapshot
An algebraic structure for derivations in rewriting systems
inferred← citeshttps://doi.org/10.1016/0304-3975(88)90074-6openalex-snapshot
The linear abstract machine
inferred← citeshttps://doi.org/10.1016/0304-3975(88)90100-4openalex-snapshot
The linear abstract machine
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90053-vopenalex-snapshot
Linear logic, coherence and dinaturality
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/b978-0-444-53726-3.00002-5openalex-snapshot
Categorial Type Logics
inferred← citeshttps://doi.org/10.1016/j.aim.2008.02.001openalex-snapshot
Polycategories via pseudo-distributive laws
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.ic.2021.104760openalex-snapshot
Language models for some extensions of the Lambek calculus
inferred← citeshttps://doi.org/10.1016/j.jal.2014.07.001openalex-snapshot
The categorical imperative: Category theory as a foundation for deontic logic
inferred← citeshttps://doi.org/10.1016/j.jpaa.2020.106533openalex-snapshot
Coherence for closed categories with biproducts
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.11.020openalex-snapshot
Possible worlds and resources: the semantics of BI
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/s0022-4049(01)00105-0openalex-snapshot
Generalized enrichment of categories
inferred← citeshttps://doi.org/10.1016/s0022-4049(99)00179-6openalex-snapshot
On weak higher dimensional categories I: Part 1
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80039-xopenalex-snapshot
Some aspects of categorical logic
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70686-xopenalex-snapshot
Applications of Proof-Theoretic Transformation (Abstract)
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00034-1openalex-snapshot
Proof of a conjecture of S. Mac Lane
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00454-1openalex-snapshot
On categorical equivalence of Gentzen-style derivations in IMLL
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80027-3openalex-snapshot
Some aspects of categories in computer science
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80370-0openalex-snapshot
From Parity Games to Circular Proofs
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80567-xopenalex-snapshot
Multiplicative Linear Logics and Fibrations
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80170-7openalex-snapshot
A Notion of Classical Pure Type System (Preliminary version)
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
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/cbo9780511910616.009openalex-snapshot
History of constructivism in the 20th century
inferred← citeshttps://doi.org/10.1017/cbo9780511978036.025openalex-snapshot
Piagetian Roboethics via Category Theory
inferred← citeshttps://doi.org/10.1017/s0022226724000215openalex-snapshot
Model-theoretic syntax for the working syntactician
inferred← citeshttps://doi.org/10.1017/s0305004112000394openalex-snapshot
Polynomial functors and polynomial monads
inferred← citeshttps://doi.org/10.1017/s0960129500000062openalex-snapshot
From Petri nets to linear logic
inferred← citeshttps://doi.org/10.1017/s0960129500000190openalex-snapshot
Least fixpoints of endofunctors of cartesian closed categories
inferred← citeshttps://doi.org/10.1017/s0960129500001055openalex-snapshot
! and ? – Storage as tensorial strength
inferred← citeshttps://doi.org/10.1017/s0960129500001201openalex-snapshot
Reductions in Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.1017/s0960129501003498openalex-snapshot
Double categories: a modular model of multiplicative linear logic
inferred← citeshttps://doi.org/10.1017/s0960129520003047openalex-snapshot
Introduction to linear bicategories
inferred← citeshttps://doi.org/10.1017/s0960129597002508openalex-snapshot
Normalization and the Yoneda embedding
inferred← citeshttps://doi.org/10.1017/s1446788700010272openalex-snapshot
Closed categories generated by commutative monads
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/a:1027335119549openalex-snapshot
Discrete Quantum Causal Dynamics
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.1080/11663081.2016.1179528openalex-snapshot
A comparison between monoidal and substructural logics
inferred← citeshttps://doi.org/10.1080/11663081.2018.1547513openalex-snapshot
Monoidal logics: completeness and classical systems
inferred← citeshttps://doi.org/10.1090/s0002-9904-1976-13928-6openalex-snapshot
Topology and logic as a source of algebra
inferred← citeshttps://doi.org/10.1090/s0002-9947-1977-0444740-9openalex-snapshot
Coherence in Nonmonoidal Closed Categories
inferred← citeshttps://doi.org/10.1093/logcom/exae059openalex-snapshot
Coherence via focusing for symmetric skew monoidal and symmetric skew 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.1098/rsta.2018.0038openalex-snapshot
The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
inferred← citeshttps://doi.org/10.1109/lics.2015.11openalex-snapshot
From Categorical Logic to Facebook Engineering
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00014openalex-snapshot
On the denotation of circular and non-wellfounded proofs in linear logic with fixed points
inferred← citeshttps://doi.org/10.1112/plms/s3-31.3.289openalex-snapshot
The Connection between Equivalence of Proofs and Cartesian Closed Categories
inferred← citeshttps://doi.org/10.1117/12.620297openalex-snapshot
Quantum information-flow, concretely, and axiomatically
inferred← citeshttps://doi.org/10.1145/2429069.2429091openalex-snapshot
Universal properties of impure programming languages
inferred← citeshttps://doi.org/10.1145/2603088.2603126openalex-snapshot
No proof nets for MLL with units
inferred← citeshttps://doi.org/10.1145/3498692openalex-snapshot
A relational theory of effects and coeffects
inferred← citeshttps://doi.org/10.11575/prism/21518openalex-snapshot
EII-polycategories, additive linear logic, and process semantics
inferred← citeshttps://doi.org/10.1184/r1/6602756openalex-snapshot
A taste of category theory for computer scientists
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636017openalex-snapshot
Coherence in category theory and the Church-Rosser property.
inferred← citeshttps://doi.org/10.14418/wes01.3.7openalex-snapshot
An Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming
inferred← citeshttps://doi.org/10.2168/lmcs-2(4:3)2006openalex-snapshot
From Proof Nets to the Free *-Autonomous Category
inferred← citeshttps://doi.org/10.2178/bsl/1067620091openalex-snapshot
Identity of Proofs Based on Normalization and Generality
inferred← citeshttps://doi.org/10.2178/bsl/1243948484openalex-snapshot
When are Two Algorithms the Same?
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.2307/421147openalex-snapshot
Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic
inferred← citeshttps://doi.org/10.25911/5d5e7194e7f6aopenalex-snapshot
Coherence for rewriting 2-theories : general theorems with applications to presentations of Higman-Thompson groups and iterated monoidal categories
inferred← citeshttps://doi.org/10.3103/s1066369x11110077openalex-snapshot
Natural multitransformations of multifunctors
inferred← citeshttps://doi.org/10.31219/osf.io/y4uswopenalex-snapshot
Complexity of Grammar Induction for Quantum Types
inferred← citeshttps://doi.org/10.31390/gradschool_dissertations.4266openalex-snapshot
Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic
inferred← citeshttps://doi.org/10.3233/fi-1995-22123openalex-snapshot
CUT ELIMINATION FOR CLASSICAL BILINEAR LOGIC
inferred← citeshttps://doi.org/10.4153/cmb-1975-020-1openalex-snapshot
A Counter-Example to Coherence in Cartesian Closed Categories
inferred← citeshttps://doi.org/10.4204/eptcs.172.16openalex-snapshot
Complexity of Grammar Induction for Quantum Types
showing the first 200 of 224 · page through all 224
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.