Tallenna
Typed Lambda Calculi and Applications
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.
- Alaotsikko
- Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
- Toimittaja
- Mariangiola Dezani-Ciancaglini, Gordon Plotkin
- Painos
- 1995 ed.
- ISBN
- 9783540590484
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 17.3.1995
- Sivumäärä
- 452
