This paper solves a problem about the positivity predicate which was left open in the previous paper "intuitionistic formal spaces...". The version which one finds online at http://www.math.unipd.it/~sambin/txt/ifs87-97.pdf contains both papers.
Intuitionistic formal spaces vs. Scott domains
SAMBIN, GIOVANNI
1988
Abstract
This paper solves a problem about the positivity predicate which was left open in the previous paper "intuitionistic formal spaces...". The version which one finds online at http://www.math.unipd.it/~sambin/txt/ifs87-97.pdf contains both papers.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.