and Full Abstraction for a Functional Metalanguage with Recursive Types (1996)

by Games
Venue:Imperial College and University of London