The aim of this note is to give a simple but instructive example of the forget- restore principle, conceived by Giovanni Sambin as a discipline for a constructive development of mathematics and first appeared in print in the introduction of "Building up a toolbox for Martin-Loef's type theory" by Sambin and Valentini
The forget-restore principle: a paradigmatic example
VALENTINI, SILVIO
1998
Abstract
The aim of this note is to give a simple but instructive example of the forget- restore principle, conceived by Giovanni Sambin as a discipline for a constructive development of mathematics and first appeared in print in the introduction of "Building up a toolbox for Martin-Loef's type theory" by Sambin and ValentiniFile 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.
