Questions and Dependency in Intuitionistic Logic

Ivano Ciardelli, Rosalie Iemhoff, Fan Yang

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalNotre Dame Journal of Formal Logic
Volume61
Issue number1
Pages (from-to)75-115
Number of pages41
ISSN0029-4527
DOIs
Publication statusPublished - 2020
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • 111 Mathematics

Cite this