Lena Magnusson

Publication Activity (10 Years)

Years Active: 1993-1995
Publications (10 Years): 0

Publications

Lena Magnusson
An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification. TYPES (1995)
Lena Magnusson, Bengt Nordström
The ALF Proof Editor and Its Proof Engine. TYPES (1993)