Publications
Chosen filters:
Chosen filters:
Unification, the answer to resemblance questions Ghent University
Lifting Proof-Relevant Unification to Higher Dimensions Vrije Universiteit Brussel KU Leuven
Unifiers as Equivalences Proof-Relevant Unification of Dependently Typed Data Vrije Universiteit Brussel KU Leuven
Dependently typed languages such as Agda, Coq and Idris use a syntactic first-order unification algorithm to check definitions by dependent pattern matching. However, these algorithms don’t adequately consider the types of the terms being unified, leading to various unintended results. As a consequence, they require ad hoc restrictions to preserve soundness, but this makes them very hard to prove correct, modify, or extend. This paper proposes a ...
The role of unification in micro-explanations of physical laws Ghent University
Unification and integration: different yet the same? Ghent University
ccording to the Oxford dictionary unification is ''the process of being united or made into a whole'', while integration is ''the action or process of integrating''. Integrating is further defined as ''combining (one thing) with another to form a whole''. Although there are different frameworks to describe how and to what extent unification could work (Kitcher 1981, 1989, Weber 1999, Schurz 1999, Mäki 2001), it seems as if unification and ...
Causation, unification and the adequacy of explanations of facts Ghent University
The role of unification in explanations of facts Ghent University
In the literature on scientific explanation, there is a classical distinction between explanations of facts and explanations of laws. This paper is about explanations of facts. Our aim is to analyse the role of unification in explanations of this kind. We discuss five positions with respect to this role, argue for two of them and refute the three others.
The statistical analysis plan for the unification of treatments and interventions for tinnitus patients randomized clinical trial (UNITI-RCT) KU Leuven
BACKGROUND: Tinnitus is a leading cause of disease burden globally. Several therapeutic strategies are recommended in guidelines for the reduction of tinnitus distress; however, little is known about the potentially increased effectiveness of a combination of treatments and personalized treatments for each tinnitus patient. METHODS: Within the Unification of Treatments and Interventions for Tinnitus Patients project, a multicenter, randomized ...