Sciweavers

JOT
2010
111views more  JOT 2010»
13 years 11 months ago
Covariantly Adjusting Co-Types in Timor
This paper extends the idea of co-types (described in a companion paper) to include the concept of adjustment hierarchies. An adjustment hierarchy provides a parallel hierarchy to...
James Leslie Keedy, Gisela Menger, Christian Heinl...