Soundness and principal contexts for a shallow polymorphic type system based on classical logic
Summers, Alexander J.
- Journal Article
Journal / seriesLogic journal of the IGPL
Pages / Article No.
PublisherOxford University Press
SubjectCurry-Howard; Classical logic; Generic unification; Principal types; Cut elimination
Organisational unit03653 - Müller, Peter
NotesReceived 13 January 2010, Published online 29 June 2010.
MoreShow all metadata