Higher-order functional languages and intensional logic

Simple item page
dc.contributor.authorRondogiannis, Panagiotis
dc.contributor.supervisorWadge, W. W.
dc.date.accessioned2015-04-10T20:20:55Z
dc.date.available2015-04-10T20:20:55Z
dc.date.copyright1994en_US
dc.date.issued2015-04-10
dc.degree.departmentDepartment of Computer Science
dc.degree.levelDoctor of Philosophy Ph.D.en_US
dc.description.scholarlevelGraduateen_US
dc.identifier.urihttp://hdl.handle.net/1828/5960
dc.languageEnglisheng
dc.language.isoenen_US
dc.rights.tempAvailable to the World Wide Weben_US
dc.subjectfunctional programmingen_US
dc.subjectlogic programmingen_US
dc.titleHigher-order functional languages and intensional logicen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Rondogiannis_Panagiotis_PhD_1994.PDF
Size:
5.39 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.74 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Electronic Theses and Dissertations (ETD)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.