The Consistency Theorem for Free Type Definitions in (1996)

by Michael Spivey
Venue:Z (Short Communication). Formal Aspects of Computing