Cover Image
Saved in:

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /

Bibliographic Details
Corporate Authors: International Conference on Typed Lambda Calculi and Applications Eindhoven, Netherlands), SpringerLink (Online service)
Other Authors: Hasegawa, Masahito, 1970-
Format: Online Conference Proceeding Book
Published: Berlin ; New York : Springer, c2013.
Series:Lecture notes in computer science ; 7941.
LNCS sublibrary. Theoretical computer science and general issues.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!