The Role of Polymorphism in the Characterisation of Complexity by Soft Types

DOI10.1007/978-3-642-22993-0_22zbMath1343.68082MaRDI QIDQ3088041

Aleksy Schubert, Jacek Chrząszcz

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_22

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B40: Combinatory logic and lambda calculus

Related Items

The role of polymorphism in the characterisation of complexity by soft types