The present work originates from the need of subsets in the practical development of a constructive approach to topology and most of what we present here is the answer to problems actually encountered.
Building up a tool-box for Martin-Loef intuitionistic type theory
VALENTINI, SILVIO
1998
Abstract
The present work originates from the need of subsets in the practical development of a constructive approach to topology and most of what we present here is the answer to problems actually encountered.
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.
