Structured theory presentations and logic representations (1994)

by R Harper, D Sannella, A Tarlecki
Venue:Ann. Pure Appl. Logic