Spara
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.
- Undertitel
- Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
- Upplaga
- 1995 ed.
- ISBN
- 9783540590484
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1995-03-17
- Sidor
- 452
