Typed lambda calculi and applications : international conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16-18, 1993, Utrecht, the Netherlands : proceedings

Kuvaan voi liittyä käytön rajoituksia.

QR-koodi
Finna-arvio
(0)

Typed lambda calculi and applications : international conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16-18, 1993, Utrecht, the Netherlands : proceedings

Tallennettuna:
Ulkoasu
VIII, 432 s
Kieli
englanti
Julkaisija Berlin : Springer cop. 1993.
SarjaLecture notes in computer science, 664.
Luokitus
Lisätiedot
M. Bezem, J. F. Groote (eds.)
ISBN
0-387-56517-5
3-540-56517-5
Kontrolloimaton nimeke
TLCA '93