Spar
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.
- Undertittel
- Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
- Opplag
- 1995 ed.
- ISBN
- 9783540590484
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 17.3.1995
- Antall sider
- 452
