✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 384.649 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Softcover - 9783540657637
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 5 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

DeGroote U. DeLiguoro M. Dezani R. Dickho? H. Geuvers N. Ghani P. Giannini S. Guerrini B. Harper R. Hasegawa H. Herbelin M. Hofmann K. Honda R. Jagadeesan T. Jim Y. Kameyama M. Kanovich R. Kashima Y. Kinoshita T. Kurata Y. Lafont J. Laird F. Lamarche P. B. Levy C. McBride M. Marz R. Matthes P. -A. Mellies G. Mitschke H. Nickau S. Nishizaki M. Parigot C. Paulin F. Pfenning B.

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 24. März 1999
Maße 23.5 cm x 15.5 cm
Gewicht 622 Gramm
Format Softcover
ISBN-13 9783540657637
Seiten 404

Schlagwörter

Computer Science Logic and Foundations of Programming, Computerprogrammierung und Softwareentwicklung, Formal Languages and Automata Theory, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Programming Techniques, Theoretische Informatik, Theory of Computation

Herstellerinformationen +