ON PROOF NORMALIZATION IN LINEAR LOGIC (VOL 135, PG 67, 1994)

Authors
PERRIER G
Citation
G. Perrier, ON PROOF NORMALIZATION IN LINEAR LOGIC (VOL 135, PG 67, 1994), Theoretical computer science, 206(1-2), 1998, pp. 353-354
Citations number
3
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
206
Issue
1-2
Year of publication
1998
Pages
353 - 354
Database
ISI
SICI code
0304-3975(1998)206:1-2<353:OPNILL>2.0.ZU;2-5