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

Författare: Japan) 2005 : (7th International Conference on Typed Lambda Calculi and Applications Nara-shi
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
Springer	uuuu-uuuu	Utgivningsland okänt / Ej specificerat