MPI-I-93-258
Linear logic meets the Lambda Calculus, part I
Tönne, Andreas
1993, ? pages.
.
Status: number not used - withdrawn
-
- Attachement: *No Attachements
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1993-258
BibTeX
@TECHREPORT{Toenne93,
AUTHOR = {T{\"o}nne, Andreas},
TITLE = {Linear logic meets the Lambda Calculus, part I},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-93-258},
YEAR = {1993},
ISSN = {0946-011X},
}