Bifinite domains: Stable cases (1991)

by R Amadio
Venue:In Proceeding of Category Theory in Computer Science 91, Lect. Notes Comput. Sc