and full abstraction for a functional metalanguage with recursive types (1996)

by Games