Inheritance and explicit coercion

Submitted by dbgroup-admin on Thu, 05/27/2010 - 20:57

TitleInheritance and explicit coercion
Publication TypeJournal Article
Year of Publication1991
AuthorsBreazu-Tannen V, Coquand T, Gunter CA, Scedrov A
JournalInformation and Computation
Volume93
Pagination172-221
Date PublishedJuly