research
∙
04/21/2023
A Simple Proof That Super-Consistency Implies Cut Elimination
We give a simple and direct proof that super-consistency implies the cut...
share
research
∙
06/27/2019
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting
Dependency pairs are a key concept at the core of modern automated termi...
research
∙
08/18/2018
Runtime Analysis of Whole-System Provenance
Identifying the root cause and impact of a system intrusion remains a fo...
research
∙
06/22/2018