Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Wersja papierowa
Redakcja:
Dezani-Ciancaglini Mariangiola
Wydawnictwo:
Springer Nature B.V.ISBN: 978-35-405-9048-4
Format: 15.6x23.4cm
Liczba stron: 460
Oprawa: Miękka
Wydanie: 1995 r.
Język: angielski
Dostępność: dostępny
217,90 zł