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ł
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.<BR>The book contains 29 full revised papers selected
from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order)
computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.
