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

Cached

Download Links

by Lena Magnusson
Citations:43 - 0 self