A combinatory account of internal structure (0)

by B Jay, T Given-Wilson
Venue:Journal of Symbolic Logic