On the public citation graph

An internal language for autonomous categories

https://doi.org/10.1007/bf00873993
0 signed · 42 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4471-3503-6_18openalex-snapshot
An Internal Language for Autonomous Categories
inferredcites →https://doi.org/10.1007/978-1-4615-7831-4_19openalex-snapshot
Natural Associativity and Commutativity
inferredcites →https://doi.org/10.1007/bf00370829openalex-snapshot
Monoidal categories with natural numbers object
inferredcites →https://doi.org/10.1007/bf00370831openalex-snapshot
A note on natural numbers objects in monoidal categories
inferredcites →https://doi.org/10.1007/bfb0032030openalex-snapshot
Functions as processes
inferredcites →https://doi.org/10.1007/bfb0037099openalex-snapshot
A term calculus for Intuitionistic Linear Logic
inferredcites →https://doi.org/10.1007/bfb0081361openalex-snapshot
On the unity of algebra and logic
inferredcites →https://doi.org/10.1016/0022-4049(71)90013-2openalex-snapshot
Coherence in closed categories
inferredcites →https://doi.org/10.1016/0022-4049(89)90042-xopenalex-snapshot
Cartesian categories with natural numbers object
inferredcites →https://doi.org/10.1016/0022-4049(89)90163-1openalex-snapshot
Languages for monoidal categories
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1016/0304-3975(93)90053-vopenalex-snapshot
Linear logic, coherence and dinaturality
inferredcites →https://doi.org/10.1016/0304-3975(93)90181-ropenalex-snapshot
Computational interpretations of linear logic
inferredcites →https://doi.org/10.1017/s0956796800001131openalex-snapshot
Lilac: a functional programming language based on linear logic
inferredcites →https://doi.org/10.1090/conm/013/685975openalex-snapshot
Why commutative diagrams coincide with equivalent proofs
inferredcites →https://doi.org/10.1145/96709.96717openalex-snapshot
The chemical abstract machine
inferredcites →https://doi.org/10.2307/2274784openalex-snapshot
Introduction to Higher Order Categorical Logic.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11874683_8openalex-snapshot
The Power of Linear Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-73147-4_9openalex-snapshot
Linear Recursive Functions
inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_21openalex-snapshot
Partial Recursive Functions and Finality
inferred← citeshttps://doi.org/10.1007/bfb0022245openalex-snapshot
The Girard Translation extended with recursion
inferred← citeshttps://doi.org/10.1007/s10485-004-3134-zopenalex-snapshot
Relating Categorical Semantics for Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.1007/s10988-010-9079-9openalex-snapshot
Propositional glue and the projection architecture of LFG
inferred← citeshttps://doi.org/10.1007/s10990-010-9060-xopenalex-snapshot
Linearity and iterator types for Gödel’s System
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.02.047openalex-snapshot
The Power of Closed Reduction Strategies
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.06.005openalex-snapshot
Natural Number Objects in Dialectica Categories
inferred← citeshttps://doi.org/10.1016/j.scico.2007.11.005openalex-snapshot
The logic of message-passing
inferred← citeshttps://doi.org/10.1016/j.tcs.2009.11.014openalex-snapshot
Godel's system T revisited
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80560-7openalex-snapshot
GS·Λ Theories
inferred← citeshttps://doi.org/10.1017/s0956796800001131openalex-snapshot
Lilac: a functional programming language based on linear logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzag037openalex-snapshot
Extending computational trinitarianism
inferred← citeshttps://doi.org/10.1093/logcom/exs020openalex-snapshot
Linearity: A Roadmap
inferred← citeshttps://doi.org/10.1093/logcom/exs023openalex-snapshot
What is a model for a semantically linear -calculus?
inferred← citeshttps://doi.org/10.1093/logcom/exw020openalex-snapshot
Categorical comprehensions and recursion
inferred← citeshttps://doi.org/10.4204/eptcs.207.1openalex-snapshot
Strong Typed Böhm Theorem and Functional Completeness on the Linear Lambda Calculus
inferred← citeshttps://doi.org/10.4204/eptcs.22.1openalex-snapshot
Categorical Models for a Semantically Linear Lambda-calculus
inferred← citeshttps://doi.org/10.4230/lipics.csl.2022.16openalex-snapshot
An Internal Language for Categories Enriched over Generalised Metric Spaces
inferred← citeshttps://doi.org/10.46298/lmcs-19(4:31)2023openalex-snapshot
The syntactic side of autonomous categories enriched over generalised metric spaces
inferred← citeshttps://doi.org/10.48550/arxiv.math/0703713openalex-snapshot
The logic of message passing
inferred← citeshttps://doi.org/10.5281/zenodo.41698openalex-snapshot
EMOTIONS RECOGNITION BY SPEECH AND FACIAL EXPRESSIONS ANALYSIS
inferred← citeshttps://doi.org/10.7146/brics.v2i13.19882openalex-snapshot
The Girard Translation Extended with Recursion
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.