linear-logic

Here are 20 public repositories matching this topic...

HackerFoo / poprc

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

felko / pion

Star

A concurrent programming language based on linear types

programming-language compiler concurrent-programming session-types statically-typed linear-logic

Updated Aug 29, 2020
Haskell

vcvpaiva / DialecticaCategories

Star

A place to collect work on dialectica categories.

categories linear-logic dialectica

Updated Jul 20, 2021
TeX

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

steinwaywhw / ats-sessions

Star

Session Types Library for ATS

ats session-types linear-logic

Updated Aug 31, 2018
HTML

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

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

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

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 / lassy-tlg-extraction

Star

Extraction of a typelogical grammar based on Intuitionistic Linear Logic from Lassy-like corpora.

lambda-calculus dutch categorial-grammar linear-logic corpus-processing lassy type-logical-grammar

Updated Jun 28, 2021
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

huynhsamha / cse-ll4smartcontract

Star

Linear Logic for Smart Contract - Assignment (HCMUT)

smart-contracts solidity remix linear-logic

Updated Jun 10, 2018
TeX

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

konstantinosKokos / aethel

Star

A dataset of Intuitionistic Linear Logic theorems, automatically extracted from the Lassy-small corpus.

lambda-calculus dataset dutch natural-deduction categorial-grammar linear-logic sequent-calculus lassy proof-net type-logical-grammar

Updated Jan 22, 2021
Lex

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

konstantinosKokos / neural-proof-nets

Star

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

nlp parser prover linear-logic lassy sinkhorn proof-net type-logical

Updated Jun 28, 2021
Python

mmessmer / glueSemWorkbench

Star

nlp semantics prolog nlp-parsing linear-logic

Updated Jan 20, 2019
Java

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 Jan 27, 2020

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

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