Rothgang, ColinColinRothgangRabe, FlorianFlorianRabeBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932025-10-162025-10-1620251529-3785https://fis.uni-bamberg.de/handle/uniba/110822engDependently-Typed Higher-Order Logicarticle10.1145/3771725https://dl.acm.org/doi/pdf/10.1145/3771725