An implementation of Martin-Löf's logical framework
Licentiatavhandling, 1991
Författare
Lena Magnusson
Institutionen för informationsbehandling
Ämneskategorier (SSIF 2011)
Data- och informationsvetenskap
ISBN
91-7032-592-8