Dagstuhl Publishing, Germany
Publisher
Research outputs (2)
Counting Answers to Existential Questions
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
The Independence of Markov's Principle in Type Theory
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
ID: 81574521