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 |