## An operational domain-theoretic treatment of recursive types (2006)

by
Weng Kin Ho

Venue: | in: Twenty-Second Mathematical Foundations of Programming Semantics |

Citations: | 2 - 2 self |