and Full Abstraction for a Functional Metalanguage with Recursive Types. Distinguished Dissertations (1998)

by Games