![](/img/cover-not-exists.png)
On the linear decoration of intuitionistic derivations
Vincent Danos, Jean-Baptiste Joinet, Harold SchellinxVolume:
33
Language:
english
Pages:
26
Journal:
Archive for Mathematical Logic
DOI:
10.1007/bf02390456
Date:
February, 1995
File:
PDF, 1.53 MB
english, 1995