Axiomatizing Fully Complete Models for ML Polymorphic Types.

Samson Abramsky, Marina Lenisa

Browse the full MFCS paper archive.