A short description of another logical framework (1990)

by L Augustsson, T Coquand, B Nordstrom
Venue:In Proc. of First Annual Workshop on Logical Framworks