Linear types and non-size-increasing polynomial time computation

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 464-473

  Hofmann, Martin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR SYSTEMS; MATHEMATICAL OPERATORS; POLYNOMIALS; RECURSIVE FUNCTIONS; RESPONSE TIME (COMPUTER SYSTEMS);

INDUCTIVE DATATYPES; POLYNOMIAL TIME COMPUTATION; RECURSION OPERATORS;

COMPUTATIONAL METHODS;

EID: 0032597489     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (5)