Brigitte Pientka

Identifiers

• name variant Brigitte Pientka 0.60 · backfill

Papers (3)

1. A Type Theory for Defining Logics and Proofs cs.LO · 2019 · author #1
2. Index-Stratified Types (Extended Version) cs.PL · 2018 · author #2
3. The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks cs.LO · 2015 · author #3

Mentions

• 1503.06095 #3 · backfill · confidence 0.70 Brigitte Pientka

Frequent Coauthors

• David Thibodeau 2 shared papers
• Alberto Momigliano 1 shared papers
• Amy P. Felty 1 shared papers
• Andreas Abel 1 shared papers
• Francisco Ferreira 1 shared papers
• Rebecca Zucchini 1 shared papers
• Rohan Jacob-Rao 1 shared papers