Typed Lambda Calculi and Applications electronic resource : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / edited by Luke Ong

Författare: Serbia) 2011 : (10th International Conference on Typed Lambda Calculi and Applications Novi Sad
Språk: Okänt

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