The new implementation of ALF (1992)

by Lena Magnusson
Venue:In Workshop on Logical Frameworks