bounded linear calculus
Subtitle: a characterization of the class of polynomial-time computable functions based on bounded linear logic
By: François Pitt.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1994
Place of publication: Toronto
Language: eng
Number of pages: 54
Notes: Thesis (M.Sc.)--University of Toronto, 1994.

MICR copy on microfiche (1 microfiche).