Showing 1–12 of 12 results
/ Date/ Name
Feb 3, 2021Greatest HITs: Higher inductive types in coinductive definitions via induction under clocksFeb 3, 2022Band structure of n- and p-doped core-shell nanowiresMay 13, 2024InP/GaSb core-shell nanowires: a novel hole-based platform with strong spin-orbit coupling for full-shell hybrid devicesDec 28, 2021Two Guarded Recursive Powerdomains for Applicative SimulationSep 6, 2024Nano-size nature of the $α$-FAPbI$_3$ by means of large-scale ab initio simulationsAug 30, 2024Spin-orbit control of Dirac points and end states in inverted gap nanowiresJul 4, 2015Functions out of Higher TruncationsJun 16, 2016Guarded Cubical Type Theory: Path Equality for Guarded RecursionDec 18, 2023Phenomenology of Majorana zero modes in full-shell hybrid nanowiresNov 26, 2025Coupled Structural and Electronic Requirements in Alpha-FASnI3 Imposed by the Sn(II) Lone PairMay 1, 2020Partial Univalence in n-truncated Type TheoryNov 28, 2016Guarded Cubical Type Theory