On the ubiquity of certain total type structures (2007)

by John Longley
Venue:UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE