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: |
|
| 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: |
|
Full Text from ScienceDirect