A judgmental analysis of linear logic

By B. E. Chang, Kaustuv Chaudhuri, Frank Pfenning. 2003

78 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/136489519d343b43df8e94b91b7fe1e2d1ef6a4d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Luís Caires
2. Frank Pfenning

Citations in the corpus

• Session Types as Intuitionistic Linear Propositions (2010, background): “Typing judgments directly correspond to sequents in dual intuitionistic linear logic, by erasing processes [3, 10].”