The Digital Librarian's Digital Library
search
D
O
CIS
Do
cuments in
C
omputing and
I
nformation
S
cience
Home
>>
Journals and Conference Proceedings
>>
ACM Transactions on Computer Logic
Intuitionistic Light Affine Logic
Andrea Asperti, Luca Roversi
Journal Title: ACM Transactions on Computer Logic
Date: 2002
Volume: 3
Issue: 1
p. 137 - 175
We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:
http://research.nii.ac.jp/~terui/italy.pdf
http://www.di.unito.it/~rover/PAPERS/ToCL01.pdf
For further information about this item go to:
http://doi.acm.org/10.1145/504077.504081
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12