DOI10.1017/S0960129521000189MaRDI QIDQ5889302
Erik Palmgren
Publication date: 19 April 2023 Published in: Mathematical Structures in Computer Science (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1909.01414
zbMATH Keywords
extensionality; Martin-Löf type theory; constructive set theory; setoids
Mathematics Subject Classification ID
68-XX: Computer science