Typed Lambda Calculi and Applications electronic resource : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings / edited by Marc Bezem, Jan F. Groote

Författare
International Conference on Typed Lambda Calculi and Applications
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat