Typed Lambda Calculi and Applications J. Roger Hindley
93,08 €
Titel: Typed Lambda Calculi and Applications, Untertitel: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings, Einband: Taschenbuch, Autor: J. Roger Hindley, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 420, Maße: 235x155x23 mm, Gewicht: 633 g, Verkäufer: buch-mimpf, Schlagworte: Lambda Calculi Lambda-Kalküle Monoid Programmiersprachen Typensysteme algorithm algorithms commutative property logic programming logics proof semantic techniques theorem proving type systems type theory.
Jetzt bei Ebay:
