This is a bibliography of papers using substructural logics in security
-
Updated
Apr 28, 2017
This is a bibliography of papers using substructural logics in security
A latex package to draw the most general interaction nets: with multiports and multiwires (a.k.a. hyperedges)
A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
Agda formalization of the Attack Tree Linear Logic
Developing a type system for a minimal reversible functional language.
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
A Haskell EDSL for conducting threat analysis using Attack Trees
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
A Compiler for the Popr Language
Espèces généralisées de structures sur les groupoïdes
Richard Moot's personal homepage
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
a library for experimental linear lambda calculus
Automated theorem prover for a linear logic-based calculus for molecular biology.
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
A neurosymbolic parser for Dutch.
Add a description, image, and links to the linear-logic topic page so that developers can more easily learn about it.
To associate your repository with the linear-logic topic, visit your repo's landing page and select "manage topics."