Combining algebra and higher-order types

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

TitleCombining algebra and higher-order types
Publication TypeConference Paper
Year of Publication1988
AuthorsBreazu-Tannen V
Conference NameProceedings of 3rd IEEE Symposium on Logic in Computer Science
Date PublishedJuly
Conference LocationEdinburgh, Scotland