| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Programming in Martin-Lof's Type Theory: An Introduction | 978-O-19-853814-1 (O-19-853814-6) | 1990 | Bengt Nordstrom · etc. · J.M. Smith |
K.P. · Karin Lindkvist-Petersson · Kerstin Petersson · Kjell Petersson