Computational Adequacy via `Mixed' Inductive Definitions (1994)

by Andrew M. Pitts
Venue:In Mathematical Foundations of Programming Semantics, Proc. 9th Int. Conf
Citations:22 - 3 self