ENGLISH

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

By Olivier Danvy (auth.) , Samson Abramsky (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2001
ISBN
3540419608, 9783540419600
DOI
10.1007/3-540-45413-6
Open Library ID
OL18158822M
Language
english
Format
PDF
Filesize
4 MB (4030208 bytes)
Series
Lecture Notes in Computer Science 2044
Edition
1
Pages
436\440
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
CompilersInterpreters; Mathematical Logic and FoundationsMathematical Logic and Formal Languages; Logics an

Description

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

Similar books