The implementation of ALF
Subtitle: a proof editor based on Martin-Löfs monomorphic type theory with explicit substitution
By: [by] Lena Magnusson
Contributors: Chalmers tekniska högskola
Publisher: [s.n.]
Published: 1994
Place of publication: [s.l.]
Language: eng
Number of pages: 231
ISBN-13: 9789171970664
Notes: Thesis (doctoral)--Chalmers University of Technology, 1994.