Brigitte Pientka

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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