+++ to secure your transactions use the Bitcoin Mixer Service +++

 

We need Your Support. Make a Donation now! or Buy Me A Coffee

Search results

Programming in Martin-Löf's type theory : an introduction / Bengt, Nordström, Kent Petersson, and Jan M. Smith.

Published
1990
Author
Nordström, Bengt.
Smith, Jan M.
Petersson, Kent.
Catalog Record Limited (search only)

We need Your Support. Make a Donation now! or