We show how one can deal with subsets when using Martin-Löf type theory as a foundation
Building up a toolbox for Martin-Loef's type theory: subset theory
SAMBIN, GIOVANNI;VALENTINI, SILVIO
1998
Abstract
We show how one can deal with subsets when using Martin-Löf type theory as a foundation
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.
