Show
Sort by
-
Projectivity meets uniform post-interpolant : classical and intuitionistic logic
-
- Journal Article
- A1
- open access
Distinctively generic explanations of physical facts
-
- Journal Article
- A1
- open access
Gaiwan : a size-polymorphic typesystem for GPU programs
-
Quantum mechanical atom models, legitimate explanations and mechanisms
-
Fermion mass hierarchies, large lepton mixing and residual modular symmetries
-
- Journal Article
- A1
- open access
Double cover of modular S4 for flavour model building
-
- Journal Article
- A1
- open access
Inclusive search for supersymmetry in pp collisions at root s=13 TeV using razor variables and boosted object identification in zero and one lepton final states
-
- PhD Thesis
- open access
Rethinking unification : unification as an explanatory value in scientific practice
(2018) -
- Journal Article
- A1
- open access
Inclusive search for supersymmetry using razor variables in pp collisions at √s=13 TeV
-
Is mathematics a domain for philosophers of explanation?