9 citations · 10 across the 7 of their papers we have counts for
1 paper · 1 filter
Christoph Benzmueller, John Harrison, Carsten Schuermann
This workshop brings together practioners and researchers who are involved in the everyday aspects of logical systems based on higher-order logic. We hope to create a friendly and…