Programming in Martin-Löf's type theory : Bengt Nordström, Kent Petersson and Jan M. Smith (Oxford University Press, Corby, United Kingdom, 1990), Price £25.00 (hardback), ISBN 0-19-853814-7.

✍ Scribed by Nax Mendler

• Book ID: 107918605
• Publisher: Elsevier Science
• Year: 1991
• Tongue: English
• Weight: 239 KB
• Volume: 16
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/0167-6423(91)90006-j