linear-logic

Here are 19 public repositories matching this topic...

HackerFoo / poprc

Sponsor

A Compiler for the Popr Language

language dependent-types functional compiler concatenative verilog logic-programming non-deterministic partial-evaluators supercompiler linear-logic popr popr-compiler high-level-synthesis

Updated Jan 7, 2021
C

vcvpaiva / DialecticaCategories

Star

A place to collect work on dialectica categories.

categories linear-logic dialectica

Updated Oct 13, 2022
TeX

noamz / linlam

Star

a library for experimental linear lambda calculus

lambda-calculus haskell-library diagrams type-inference linear-logic

Updated Nov 13, 2022
Haskell

RichardMoot / LinearOne

Star

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

latex theorem-proving first-order-logic logic-programming swi-prolog linear-logic proof-net displacement-calculus-grammars

Updated Nov 12, 2020
Prolog

fsestini / zsyntax

Star

Automated theorem prover for a linear logic-based calculus for molecular biology.

theorem-proving molecular-biology linear-logic automated-deduction

Updated Jan 7, 2019
Haskell

wenkokke / swillprover

Star

a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog

tool swi-prolog proof-automation linear-logic

Updated Oct 8, 2018
Prolog

steinwaywhw / ats-sessions

Star

Session Types Library for ATS

ats session-types linear-logic

Updated Aug 31, 2018
HTML

petur-a / masters

Star

Developing a type system for a minimal reversible functional language.

functional-programming master-thesis semantics type-theory reversible-programming-language diku operational-semantics type-classes program-transformations linear-logic first-match-policy

Updated Aug 30, 2018
TeX

konstantinosKokos / spindle

Star

A neurosymbolic parser for Dutch.

parsing lambda-calculus linear-logic proof-net supertagging

Updated Dec 2, 2022
Python

MonoidalAttackTrees / ATLL-Formalization

Star

Agda formalization of the Attack Tree Linear Logic

semantics agda attack-trees categorical-semantics linear-logic categorical-logic dialectica-spaces dialectica-categories

Updated Jul 29, 2018
Agda

konstantinosKokos / aethel

Star

Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.

lambda-calculus corpus dutch metaclass natural-deduction categorial-grammar linear-logic alpino lassy proof-net type-logical-grammar aethel-dataset

Updated Dec 6, 2022
Python

MonoidalAttackTrees / Lina

Star

A Haskell EDSL for conducting threat analysis using Attack Trees

edsl verification haskell-library attack-trees maude threat-analysis linear-logic lina

Updated Oct 22, 2018
Haskell

konstantinosKokos / neural-proof-nets

Star

A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.

parser lambda-calculus dutch prover linear-logic sinkhorn proof-net type-logical-grammar

Updated Sep 30, 2022
Python

chaudhuri / sympli

Star

A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)

theorem-prover linear-logic

Updated Jul 27, 2018
Standard ML

mmessmer / glueSemWorkbench

Star

nlp semantics prolog nlp-parsing linear-logic

Updated Jan 20, 2019
Java

sallaccio / tikz-multinets

Star

A latex package to draw the most general interaction nets: with multiports and multiwires (a.k.a. hyperedges)

latex interaction-nets tikz linear-logic

Updated Jul 28, 2017
TeX

heades / substruct-logic-security-bib

Star

This is a bibliography of papers using substructural logics in security

security substructural-logics linear-logic affine-logic

Updated Apr 28, 2017

RichardMoot / Grail2

Star

Grail 2 theorem prover in SICStus Prolog with TclTk user interface

parser tcltk theorem-proving logic-programming sicstus-prolog categorial-grammar linear-logic

Updated Jan 22, 2020
Prolog

RichardMoot / richardmoot.github.io

Star

Richard Moot's personal homepage

natural-language-processing lambda-calculus logic theorem-proving first-order-logic logic-programming natural-language-understanding linear-logic proof-net

Updated Aug 30, 2022

Improve this page

Add a description, image, and links to the linear-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the linear-logic topic, visit your repo's landing page and select "manage topics."

Learn more