An implementation of Martin-Löf's logical framework
Licentiate thesis, 1991
Author
Lena Magnusson
Department of Computer Sciences
Subject Categories (SSIF 2011)
Computer and Information Science
ISBN
91-7032-592-8