Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages (2010)

by Nick Benton , Andrew Kennedy, Carsten Varming
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
Citations:3 - 1 self