Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Chamoun, Yorgo"'
Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally. Internalising it
Externí odkaz:
http://arxiv.org/abs/2307.06448