Share this:
Programming in Martin-Löf’s Type Theory: An Introduction (c1990), by Bengt Nordström, Kent Petersson, and Jan M. Smith (PDF and Postscript in Sweden)
from New Online Books http://ift.tt/1pROT8E
Programming in Martin-Löf’s Type Theory (Nordström)
More Stories
The Mythology of All Races (Fox) – March 28, 2023 at 08:57PM
The Mythology of All Races (MacCulloch) – March 28, 2023 at 08:54PM
Hans Christian Andersen’s Stories for the Household (Andersen) – December 11, 2022 at 04:01AM