## 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 |