dc.contributor.author |
Rondogiannis, Panagiotis
|
|
dc.date.accessioned |
2015-04-10T20:20:55Z |
|
dc.date.available |
2015-04-10T20:20:55Z |
|
dc.date.copyright |
1994 |
en_US |
dc.date.issued |
2015-04-10 |
|
dc.identifier.uri |
http://hdl.handle.net/1828/5960 |
|
dc.language |
English |
eng |
dc.language.iso |
en |
en_US |
dc.subject |
functional programming |
en_US |
dc.subject |
logic programming |
en_US |
dc.title |
Higher-order functional languages and intensional logic |
en_US |
dc.type |
Thesis |
en_US |
dc.contributor.supervisor |
Wadge, W. W. |
|
dc.degree.department |
Department of Computer Science |
en_US |
dc.degree.level |
Doctor of Philosophy Ph.D. |
en_US |
dc.rights.temp |
Available to the World Wide Web |
en_US |
dc.description.scholarlevel |
Graduate |
en_US |