The representational adequacy of hybrid (0)

by R Crole
Venue:Math. Struct. Comput. Sci. (2011