News Score: Score the News, Sort the News, Rewrite the Headlines

Programming in Martin-Lof's Type Theory

Programming inMartin-Löf's Type TheoryAn Introduction Bengt Nordström Kent Petersson Jan M. Smith Department of Computing Sciences University of Göteborg / Chalmers S-412 96 Göteborg Sweden This book was published by Oxford University Press in 1990. It is now out of print. This version is available from...

Read more at cse.chalmers.se

© News Score  score the news, sort the news, rewrite the headlines