SubIndex on Girard,JY (
BibTex
)
Click on the desired item or article for more information.
Girard,JY;
1987
, Linear Logic,
Theoretical Computer Science
,
50
, 1-102
Girard,JY;
1987
, Proof Theory and Logical Complexity, Bibliopolis, Naples
|
Top
|
Authors
|
Journals
|
Years
|
Keywords
|
Search
|
New
|
Comments
|
Bruce Edmonds
,
Centre for Policy Modelling
,
Manchester Metropolitan University