Show simple item record

The implementation of ALF : a proof editor based on Martin-Löf's monomorphic type theory with explicit substitution

dc.contributor.authorMagnusson, Lena, 1962-en
dc.date.accessioned2008-08-11T09:51:52Z
dc.date.available2008-08-11T09:51:52Z
dc.date.issued1994en
dc.identifier.isbn91-7197-066-5en
dc.identifier.urihttp://hdl.handle.net/2077/12916
dc.titleThe implementation of ALF : a proof editor based on Martin-Löf's monomorphic type theory with explicit substitutionen
dc.typeTexten
dc.type.svepDoctoral thesisen
dc.gup.originGöteborgs universitet/University of Gothenburgeng
dc.gup.departmentDatalogien
dc.gup.dissdbid3037en
dc.gup.dissdb-impressumGöteborg: Chalmers tekniska högsk., 1994en
dc.gup.dissdb-fakultetMNF


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record