Type theory and functional programming
β Simon Thompson
π Library
π
1991
π Addison-Wesley
π English
β¦ LIBER β¦
π
Type theory & functional programming
β Scribed by Simon Thompson
- Publisher
- Addison-Wesley
- Year
- 1991
- Tongue
- English
- Leaves
- 378
- Series
- International Computer Science Series
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
π SIMILAR VOLUMES
Type Theory and Functional Programming
β Simon Thompson
π Library
π
1991
π Addison-Wesley
π English
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exerc
Constructive Algebra in Functional Progr
β Anders MΓΆrtberg
π Library
π
2010
π University of Gothenburg
π English
Downloaded from http://web.student.chalmers.se/~mortberg/master/MSc-Thesis.pdf version 22 Aug 2010
Functional programming : practice and th
β Bruce J MacLennan
π Library
π
1990
π Addison-Wesley
π English
A Variational Theory of Convolution-Type
β Roberto Alicandro, Nadia Ansini, Andrea Braides, Andrey Piatnitski, Antonio Trib
π Library
π
2023
π Springer
π English
<p><span>This book provides a general treatment of a class of functionals modelled on convolution energies with kernel having finite p-moments. A general asymptotic analysis of such non-local functionals is performed, via Gamma-convergence, in order to show that the limit may be a local functional r
A Variational Theory of Convolution-Type
β Roberto Alicandro; Nadia Ansini; Andrea Braides; Andrey Piatnitski; Antonio Trib
π Library
π
2023
π Springer Nature
π English
This book provides a general treatment of a class of functionals modelled on convolution energies with kernel having finite p-moments. A general asymptotic analysis of such non-local functionals is performed, via Gamma-convergence, in order to show that the limit may be a local functional representa