On the ubiquity of certain total type structures (0)

by J R Longley
Venue:Mathematical Structures in Computer Science