๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Reducing recursion to iteration by means of pairs and N-tuples

โœ Scribed by Boscarol, Mauro; Carlucci Aiello, Luigia; Levi, Giorgio


Book ID
123619285
Publisher
Springer Berlin Heidelberg
Year
1988
Weight
392 KB
Category
Article
ISBN
3540391266

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Comp
โœ Coecke, Bob; Ong, Luke; Panangaden, Prakash ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 236 KB

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume repre