Strongly determined types

From MaRDI portal
Publication:1304548

DOI10.1016/S0168-0072(99)00004-4zbMath0934.03049MaRDI QIDQ1304548

Dugald Macpherson, Alexandre A. Ivanov

Publication date: 6 April 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)




Related Items (7)



Cites Work


This page was built for publication: Strongly determined types