research
∙
08/29/2023
Conservativity of Type Theory over Higher-order Arithmetic
We investigate how much type theory is able to prove about the natural n...
share
research
∙
06/01/2023
Green Traffic Engineering by Line Card Minimization
Green Traffic Engineering encompasses network design and traffic routing...
research
∙
06/01/2023
