Rondogiannis, Panagiotis2015-04-102015-04-1019942015-04-10http://hdl.handle.net/1828/5960enfunctional programminglogic programmingHigher-order functional languages and intensional logicThesisAvailable to the World Wide Web