Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-L¨ of ’s Type Theory An Introduction Bengt Nordstr¨om Kent Petersson Jan M. Smith Department of ...

22 downloads 520 Views 693KB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Kopnin, Nikolai, Senior Scientist, Low Temperature Laboratory, Helsinki University of Technology, and L.D. Landau Instit...

Kopnin, Nikolai, Senior Scientist, Low Temperature Laboratory, Helsinki University of Technology, and L.D. Landau Instit...

Computational Category Theory D.E. Rydeheard University of Manchester R.M. Burstall University of Edinburgh v This is...

Selected Topics in Approximation and Computation This page intentionally left blank Selected Topics in Approximatio...

T Y P E T H E O RY A N D F O R M A L P RO O F Type theory is a fast-evolving field at the crossroads of logic, compute...

T Y P E T H E O RY A N D F O R M A L P RO O F Type theory is a fast-evolving field at the crossroads of logic, compute...

PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE INTERNATIONAL COMPUTER SCIENCE SERIES Consultingeditors A D McGettrick...