Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings by Pawel Urzyczyn
English | April 7, 2005 | ISBN: 3540255931 | 448 pages | PDF | 2.81 Mb
English | April 7, 2005 | ISBN: 3540255931 | 448 pages | PDF | 2.81 Mb