Typed Lambda Calculi and Applications
ISBN: | 9783540403326 |
---|---|
Sprache: | Englisch |
Seitenzahl: | 320 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Hofmann, Martin |
Verlag: | Springer Berlin |
Veröffentlicht: | 27.05.2003 |
Untertitel: | 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings |
Schlagworte: | Coq categorical methods computational logic deduction lambda calculus logic logical relations program logics programming calculi program semantics |