Technical Reports (CIS)
Title
Document Type
Technical Report
Date of this Version
August 1991
Abstract
A typed, modular paradigm for polynomial time computation is proposed.
Recommended Citation
Jean-Yves Girard, Andre Scedrov, and Philip J. Scott, "Bounded Linear Logic", . August 1991.
Date Posted: 30 July 2007
Comments
University of Pennsylvania Department of Computer and Information Sciences Technical Report No. MS-CIS-91-59.