A cartesian closed category in Martin-Lo¨f's intuitionistic type theory
Autor: | Valentini, Silvio1 silvio@math.unipd.it |
---|---|
Zdroj: | Theoretical Computer Science. Jan2003, Vol. 290 Issue 1, p189. 31p. |
Databáze: | Academic Search Ultimate |
Externí odkaz: |