Home > Authors > Samson Abramsky > Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings<br />Author: Samson Abramsky<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-41960-0<br /> DOI: 10.1007/3-540-45413-6<br /><br />Table of Contents:<p></p><ul><li>Many Happy Re urns </li><li>From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour </li><li>Definability of Total Objects in PCF and Related Calculi </li><li>Categorical Semantics of Control </li><li>Representations of First Order Function Types as Terminal Coalgebras </li><li>A Finitary Subsystem of the Polymorphic λ-Calculus </li><li>Sequentiality and the π-Calculus </li><li>Logical Properites of Name Restriction </li><li>Subtyping Recursive Games </li><li>Typing Lambda Terms in Elementary Logic with Linear...
See on goodreads
