Beispielbild für diese ISBNThe Parametric Lambda Calculus - A Metamodel for Computation
von Simona Ronchi Della Rocca, Luca Paolini Verlag: Springer
2010 Kartoniert, 272 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be inst…
60,88 EUR
Beispielbild für diese ISBNTyped Lambda Calculi and Applications - 5th International Conference, TLCA 2001 Krakow, Poland, Ma…
Verlag: Springer
2001 Kartoniert, 448 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Includes supplementary material: sn.pub/extras
60,88 EUR
Beispielbild für diese ISBNThe Parametric Lambda Calculus - A Metamodel for Computation
von Simona Ronchi Della Rocca, Luca Paolini Verlag: Springer
2004 Gebunden, 272 Seiten, 241mm x 160mm x 20mm, Sprache(n): eng The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instan…
60,88 EUR
Beispielbild für diese ISBNComputer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993.…
Verlag: Springer
1994 Kartoniert, 356 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNLogical Foundations of Computer Science - Third International Symposium, LFCS '94, St. Petersburg,…
Verlag: Springer
1994 Kartoniert, 408 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNTyped Lambda Calculi and Applications - Third International Conference on Typed Lambda Calculi and…
Verlag: Springer
1997 Kartoniert, 420 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng
60,88 EUR
Beispielbild für diese ISBNThe Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st B…
Verlag: Springer
2013 Kartoniert, 300 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Commemorative publicationWritten by expertsFeatures essays by leading researchers in the field of functional programming
56,03 EUR
Beispielbild für diese ISBNCoalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with E…
Verlag: Springer
2012 Kartoniert, 268 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng State-of-the-art researchFast-track conference proceedingsUnique visibility
60,88 EUR
Beispielbild für diese ISBNTrends in Functional Programming - 13th International Symposium, TFP 2012, St Andrews, UK, June 12…
Verlag: Springer
2013 Kartoniert, 324 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Proceedings of the 13th International Symposium on Trends in Functional Programming, TFP 2012
60,88 EUR
Beispielbild für diese ISBNMathematics in Programming
von Xinyu Liu Verlag: Springer
2024 Kartoniert, 396 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng
71,89 EUR
- Stichwörter
- LambdaCalculi
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!
