On the ubiquity of certain total type structures (2007)

by J R Longley
Venue:Math. Struct. Comp. Sci