Publication:4938550
From MaRDI portal
zbMath0946.03068MaRDI QIDQ4938550
Publication date: 23 February 2000
density theorems; domain theory; dependent types; choice principle; continuous functionals; transfinite types; extentionality
Related Items