## The Implementation of ALF - a Proof Editor based on Martin-Löf's Monomorphic Type Theory with Explicit Substitution (1995)

by
Lena Magnusson

Citations: | 45 - 0 self |