Franklin

Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings / Pawel Urzyczyn.

Publication:
Berlin ; New York : Springer, c2005.
Format/Description:
Conference/Event
Book
xi, 432 p. : ill. ; 24 cm.
Conference Name:
International Conference on Typed Lambda Calculi and Applications (7th : 2005 : Nara, Japan)
Series:
Lecture notes in computer science, 0302-9743 ; 3461
Status/Location:
Loading...

Get It

Details

Other Title:
TLCA 2005
Subjects:
Lambda calculus -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
Urzyczyn, Pawel.
ISBN:
3540255931
9783540255932
OCLC:
60285877
Publisher Number:
9783540255932