2016
LICS2016
https://arxiv.org/abs/1504.04152
graph linear logic logic proof nets
2019
EPTCS
https://arxiv.org/abs/1904.06846
graph linear logic
2022
FSCD2022
https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=16310
graph category hypergraph
2016
LICS2016
https://arxiv.org/abs/1605.03480
graph logic first-order logic quantum
2005
https://www.sciencedirect.com/science/article/pii/S1571066105050164
proof nets lambda calculus graph sharing optimal reduction
description
2022
LICS2022
https://dl.acm.org/doi/10.1145/3531130.3532418
graph game theory
2016
LICS2016
https://arxiv.org/abs/2006.11713
graph
2018
LICS2018
https://dl.acm.org/doi/abs/10.1145/3209108.3209195
#logic #Curry-Howard linear logic
2019
LICS2019
https://ieeexplore.ieee.org/document/8785830
logic linear logic game theory
2022
LICS2022
https://dl.acm.org/doi/abs/10.1145/3531130.3532488
logic linear logic algebraric geometry
2022
LICS2022
https://arxiv.org/abs/2205.15203
logic linear logic cut elimination
2022
LICS2022
https://arxiv.org/abs/2204.10589
logic linear logic category
2016
LICS2016
https://ieeexplore.ieee.org/document/8576405
logic linear logic affine logic
2010
http://buszko.home.amu.edu.pl/LCaSLpr.pdf
lambek calculus substructural logic logic
description
2019
LICS2019
https://arxiv.org/abs/2005.05934
logic hyperlogic
2019
LICS2019
https://ieeexplore.ieee.org/document/8785827
logic proof nets game theory lambda calculus
2019
LICS2019
https://arxiv.org/abs/1902.00325
logic quantum hoare logic
2021
LICS2021
https://arxiv.org/abs/2105.08951
logic
2021
LICS2021
https://arxiv.org/abs/2104.11955
logic type theory homotopy type theory
2017
LICS2017
https://arxiv.org/abs/1701.07470
logic first-order logic
2017
LICS2017
https://arxiv.org/abs/1602.04860
logic modal logic
2017
LICS2017
https://ieeexplore.ieee.org/document/8005133
logic first-order logic
2016
LICS2016
https://ieeexplore.ieee.org/document/8576482
logic first-order logic
2016
LICS2016
https://arxiv.org/abs/1605.01003
logic
2016
LICS2016
https://dl.acm.org/doi/10.1145/2933575.2935308
logic
2018
LICS2018
https://arxiv.org/abs/1805.11021
modal logic logic lambda calculus
2018
LICS2018
https://arxiv.org/abs/1805.00748
logic LTL model check
2015
https://link.springer.com/chapter/10.1007/978-3-642-54833-8_20
lambda calculus linear logic proof nets quantum
description
2001
https://www.jstage.jst.go.jp/article/jssst/18/1/18_1_195/_pdf
linear logic linear logic programming logic programming
description
1993
https://www.sciencedirect.com/science/article/pii/016800729390093S
linear logic
description
2016
https://pure.itu.dk/en/publications/coherence-generalises-duality-a-logical-explanation-of-multiparty
linear logic session type Curry-Howard concurrent
description
2013
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013.39
linear logic proof nets cut elimination
description
1997
https://ieeexplore.ieee.org/document/614927
proof nets MELL linear logic cut elimination
description
2001
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=a9171ccd4d4a64ebf417fd9680d487c37057db93
proof nets lambda calculus linear logic MELL cut elimination Curry-Howard
2013
https://arxiv.org/abs/1304.6762
linear logic proof nets cut elimination bound semantics
description
1992
https://academic.oup.com/logcom/article/2/3/297/1012743?login=true
linear logic focusing logic programming
description
2018
LICS2018
https://arxiv.org/abs/1804.09822
linear logic lambda calculus #language string diagram
2012
https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-sessions/propositions-as-sessions.pdf
session type concurrent linear logic Curry-Howard
session typeとfullの線形論理とCH対応．タイトルはPropositions as Typesをもじっている．
2013
https://arxiv.org/abs/1305.6238
linear logic lambek calculus
2009
https://dl.acm.org/doi/abs/10.1145/1480881.1480927
linear logic focusing Curry-Howard pattern match
証明論において，MLのpattrern matchingにあたる概念はfocusingだよ，という話．
2023
https://arxiv.org/abs/2302.11887
linear logic Curry-Howardlambda calculus reversible computation
2014
3rd International Workshop on Linearity
https://legacy.cs.indiana.edu/~sabry/papers/reversible-logic.pdf
linear logic reversible computation
2018
LICS2018
https://dl.acm.org/doi/10.1145/3209108.3209132
linear logic
2020
https://arxiv.org/abs/2010.00819
hypergraph lambek calculus hyper lambek calculus
description
2023
https://arxiv.org/abs/2303.15788
hyper lambek calculus lambek calculus hypergraph DPO
description
2019
https://arxiv.org/abs/1806.08304
hypergraph category string diagram hypergraph category
description