Typed Lambda Calculi and Applications Samson Abramsky
53,49 €
Titel: Typed Lambda Calculi and Applications, Untertitel: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings, Einband: Taschenbuch, Autor: Samson Abramsky, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 448, Maße: 235x155x25 mm, Gewicht: 674 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Funktional categorical methods Computational Logic deduction lambda calculus logic logical relations program logics program semantics programming theory type systems.
Jetzt bei Ebay:
