Publication:4883281
From MaRDI portal
zbMath0849.03046MaRDI QIDQ4883281
Publication date: 5 November 1996
semantics; constructive set theory; universal domains; Scott domains; qualitative domains; dependent product; constructors of Martin-Löf type theory; dependent sum
03F35: Second- and higher-order arithmetic and fragments
Related Items