Get the latest tech news

Programming in Martin-Lof's Type Theory: An Introduction (1990)

öf's Type Theory An 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.

Martin-Löf's Type Theory 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.

Get the Android app