On the public citation graph
Programming in Lygon: An overview
0 signed · 54 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.1006/inco.1994.1036openalex-snapshot
Logic Programming in a Fragment of Intuitionistic Linear Logic
inferredcites →https://doi.org/10.1007/3-540-58431-5_11openalex-snapshot
Concurrent logic programming as uniform linear proofs
inferredcites →https://doi.org/10.1007/978-1-4615-2207-2_10openalex-snapshot
Programming the PTQ Grammar in XSB
inferredcites →https://doi.org/10.1007/bf01228882openalex-snapshot
The aditi deductive database system
inferredcites →https://doi.org/10.1007/bf03037173openalex-snapshot
Linear objects: Logical processes with built-in inheritance
inferredcites →https://doi.org/10.1007/bfb0014351openalex-snapshot
Programming in Lygon: A system demonstration
inferredcites →https://doi.org/10.1016/0004-3702(87)90043-9openalex-snapshot
Nonmonotonic logic and temporal projection
inferredcites →https://doi.org/10.1016/0168-0072(91)90068-wopenalex-snapshot
Uniform proofs as a foundation for logic programming
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1093/logcom/2.3.297openalex-snapshot
Logic Programming with Focusing Proofs in Linear Logic
inferredcites →https://doi.org/10.1093/logcom/4.2.175openalex-snapshot
A Uniform Proof-theoretic Investigation of Linear Logic Programming
inferredcites →https://doi.org/10.1109/lics.1994.316062openalex-snapshot
A multiple-conclusion meta-logic
inferredcites →https://doi.org/10.1145/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language
inferredcites →https://doi.org/10.7551/mitpress/4301.003.0013openalex-snapshot
Implementing the Linear Logic Programming Language Lygon
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11564751_13openalex-snapshot
A Linear-Logic Semantics for Constraint Handling Rules
inferred← citeshttps://doi.org/10.1007/3-540-44533-1_106openalex-snapshot
Agent-Oriented Programming in Linear Logic: An Example
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_17openalex-snapshot
Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/3-540-45523-x_3openalex-snapshot
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-45744-5_55openalex-snapshot
lolliCoP — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic
inferred← citeshttps://doi.org/10.1007/3-540-45793-3_12openalex-snapshot
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_5openalex-snapshot
Deductive Parsing of Visual Languages
inferred← citeshttps://doi.org/10.1007/3-540-63104-6_21openalex-snapshot
Resource-distribution via Boolean constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-69611-7_20openalex-snapshot
Aspect-Oriented Programming in Higher-Order and Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-77050-3_45openalex-snapshot
Closures and Modules Within Linear Logic Concurrent Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_4openalex-snapshot
Agent Deliberation via Forward and Backward Chaining in Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_1openalex-snapshot
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
inferred← citeshttps://doi.org/10.1007/s13347-019-00370-xopenalex-snapshot
Reciprocal Influences Between Proof Theory and Logic Programming
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00024-4openalex-snapshot
Proofs as computations in linear logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00169-3openalex-snapshot
Proof-search in type-theoretic languages: an introduction
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80590-5openalex-snapshot
Language design issues for agents based on linear logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01136-9openalex-snapshot
Forward and Backward Chaining in Linear Logic (Extended Abstract)
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01183-7openalex-snapshot
Logic Programming with Bunched Implications
inferred← citeshttps://doi.org/10.1017/cbo9780511550850.004openalex-snapshot
An Overview of Linear Logic Programming
inferred← citeshttps://doi.org/10.1017/s0960129599002789openalex-snapshot
A specification logic for concurrent object-oriented programming
inferred← citeshttps://doi.org/10.1017/s1471068421000533openalex-snapshot
A Survey of the Proof-Theoretic Foundations of Logic Programming
inferred← citeshttps://doi.org/10.1023/b:amai.0000034526.31830.45openalex-snapshot
Agents via Mixed-Mode Computation in Linear Logic
inferred← citeshttps://doi.org/10.1093/logcom/8.6.809openalex-snapshot
A relevant analysis of natural deduction
inferred← citeshttps://doi.org/10.1093/logcom/exp071openalex-snapshot
Answer Set Programming with Resources
inferred← citeshttps://doi.org/10.1109/csfw.1999.779762openalex-snapshot
A meta-notation for protocol analysis
inferred← citeshttps://doi.org/10.1109/hcc.2001.995240openalex-snapshot
On a uniform logical framework for diagrammatic reasoning
inferred← citeshttps://doi.org/10.1145/2422085.2422086openalex-snapshot
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
inferred← citeshttps://doi.org/10.1145/2643135.2643150openalex-snapshot
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
inferred← citeshttps://doi.org/10.1145/3453483.3454036openalex-snapshot
RefinedC: automating the foundational verification of C code with refined ownership types
inferred← citeshttps://doi.org/10.1145/3519939.3523432openalex-snapshot
Diaframe: automated verification of fine-grained concurrent programs in Iris
inferred← citeshttps://doi.org/10.1145/544862.544957openalex-snapshot
Agent negotiation as proof search in linear logic
inferred← citeshttps://doi.org/10.1145/601775.601778openalex-snapshot
Resource-distribution via Boolean constraints
inferred← citeshttps://doi.org/10.21236/ada418517openalex-snapshot
A Concurrent Logical Framework I: Judgments and Properties
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0012018openalex-snapshot
Resource-distribution via Boolean constraints
inferred← citeshttps://doi.org/10.5281/zenodo.177702openalex-snapshot
FIGURE 11 in Benthic Ostracoda (Myodocopina, Philomedidae) of the East Sea (Sea of Japan), with description of a new species from the Korean Peninsula
inferred← citeshttps://doi.org/10.5555/2343896.2344052openalex-snapshot
Agent deliberation via forward and backward chaining in linear logic
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.