Theoretical Computer Science and General Issues
© 2007
Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
Editors: Ronchi Della Rocca, Simona (Ed.)
Free PreviewBuy this book
- Table of contents (27 chapters)
-
-
On a Logical Foundation for Explicit Substitutions
Pages 1-1
-
From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing
Pages 2-7
-
Strong Normalization and Equi-(Co)Inductive Types
Pages 8-22
-
Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
Pages 23-38
-
The Safe Lambda Calculus
Pages 39-53
-
Table of contents (27 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Typed Lambda Calculi and Applications
- Book Subtitle
- 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
- Editors
-
- Simona Ronchi Della Rocca
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 4583
- Copyright
- 2007
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-73228-0
- DOI
- 10.1007/978-3-540-73228-0
- Softcover ISBN
- 978-3-540-73227-3
- Edition Number
- 1
- Number of Pages
- X, 400
- Topics