Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science) by Bengt Nordstrom
English | July 19, 1990 | ISBN: 0198538146 | 211 Pages | PDF | 1 MB
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism.