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 |