Typed Lambda Calculi and Applications Martin Hofmann
53,49 €
Titel: Typed Lambda Calculi and Applications, Untertitel: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings, Einband: Taschenbuch, Autor: Martin Hofmann, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 332, Maße: 235x155x19 mm, Gewicht: 505 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Funktional Computational Logic Coq Semantics categorical methods deduction lambda calculus logic logical relations program logics program semantics programming calculi programming theory proof sequent calculus type systems.
Jetzt bei Ebay:
