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

Cached

Download Links

by Weng Kin Ho
Venue:in: Twenty-Second Mathematical Foundations of Programming Semantics
Citations:2 - 2 self