Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) (1997)

by Marcelo Fiore , Gordon Plotkin , John Power
Venue:In Proceedings of 12th Annual Symposium on Logic in Computer Science
Citations:16 - 4 self