Research outputs (2)

1. Counting Answers to Existential Questions

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

2. 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