Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Herzlich Willkommen!
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