Programming in Martin-Löf's Type Theory: An Introduction
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Oxford University Press
1990
232 páginas
7h 44m
ISBN-13: 9780198538141
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%