| Piergiorgio Odifreddi - Biography & Autobiography - 1996 - 520 pages
This multifaceted collection of essays, reminiscences, and professional papers combine to create an exceptional tribute to the unusual, enigmatic, and ultimately fascinating ... | |
| P. Odifreddi - Computers - 1992 - 667 pages
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive ... | |
| Gerard Huet, Gordon Plotkin - Computers - 1993 - 360 pages
In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and ... | |
| Philippe de Groote, J. Roger Hindley - Computers - 1997 - 420 pages
This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997 ... | |
| Dale Miller, Gopalan Nadathur - Computers - 2012 - 321 pages
A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures. | |
| |