Fabian Meier
YOU?
Author Swipe
CCDC 2023165: Experimental Crystal Structure Determination Open
An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available …
Homocoupling defects limit exciton diffusion in a conjugated polymer Open
Copolymers such as PCDTBT (poly(N-9'-heptadecanyl-2,7-carbazole-$\textit{alt}$-5,5-(4',7'-di-2-thienyl-2',1',3'-benzothiadiazole))) are commonly employed as donor material in bulk heterojunction solar cells. Recently, chemical defects such…
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic Open
We describe a line of work that started in 2011 towards enriching Isabelle/HOL’s language with coinductive datatypes, which allow infinite values, and with a more expressive notion of inductive datatype than previously supported by any sys…