Typed Lambda Calculi and Applications Jean-Yves Girard
53,49 €
Titel: Typed Lambda Calculi and Applications, Untertitel: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, Einband: Taschenbuch, Autor: Jean-Yves Girard, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 412, Maße: 235x155x23 mm, Gewicht: 622 g, Verkäufer: buch-mimpf, Schlagworte: Counting Geometry Semantics commutative property complexity differential equation lambda calculus logic proof type theory.
Jetzt bei Ebay:
