|
|||||
|
|
On the linear decoration of intuitionistic derivations |
|
| Authors: | Vincent Danos Jean-Baptiste Joinet Harold Schellinx |
| Institution: | (1) équipe de Logique Mathématique, Université Paris VII, 2, Place Jussieu, F-75251 Paris Cedex 05, France;(2) Faculteit Wiskunde en Informatica, Universiteit van Amsterdam, Amsterdam, The Netherlands |
| Abstract: | Summary We define an optimal proof-by-proof embedding of intuitionistic sequent calculus into linear logic and analyse the (purely logical) linearity information thus obtained. CNRS URA 753 Supported by the Netherlands Organization for Scientific Research (NWO) |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |