Gå direkt till innehållet
Typed Lambda Calculi and Applications
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