A place to collect work on dialectica categories.
-
Updated
Jul 20, 2024 - TeX
A place to collect work on dialectica categories.
A neurosymbolic parser for Dutch.
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
Automated theorem prover for a linear logic-based calculus for molecular biology.
a library for experimental linear lambda calculus
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
Richard Moot's personal homepage
Espèces généralisées de structures sur les groupoïdes
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
A Compiler for the Popr Language
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
A Haskell EDSL for conducting threat analysis using Attack Trees
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
Developing a type system for a minimal reversible functional language.
Agda formalization of the Attack Tree Linear Logic
A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
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."