𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Constructive Algebra in Functional Programming and Type Theory [master thesis]

✍ Scribed by Anders Mârtberg

Publisher
University of Gothenburg
Year
2010
Tongue
English
Leaves
54
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

Downloaded from http://web.student.chalmers.se/~mortberg/master/MSc-Thesis.pdf
version 22 Aug 2010

πŸ“œ SIMILAR VOLUMES

Type Theory and Functional Programming
πŸ“ 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

Type theory & functional programming
πŸ“ Type theory & 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

Extensional Constructs in Intensional Ty
πŸ“ Extensional Constructs in Intensional Type Theory
✍ Martin Hofmann PhD (auth.) πŸ“‚ Library πŸ“… 1997 πŸ› Springer-Verlag London 🌐 English

<p><B>Extensional Constructs in Intensional Type Theory</B> presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theorie