P. Dybjer

• Epistemology versus Ontology
• Semantics and Logics of Computation