gss89

J. Girard, A. Scedrov, P. Scott. Bounded Linear Logic - A Modular Approach to Polynomial-Time. Transparencies, 1989.

Keyword

[ Typetheory ]

Contact

J. Girard
A. Scedrov
P. Scott

BibTex Reference

@Misc{gss89,
   Author = {Girard, J. and Scedrov, A. and Scott, P.},
   Title = {Bounded Linear Logic - A Modular Approach to Polynomial-Time},
   Howpublished = {Transparencies},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)