<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-09-09 06:56:43Type theory Thorsten Altenkirch DTP Dependent type |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2010-09-09 06:56:43Type theory Thorsten Altenkirch DTP Dependent type |
Add to Reading List |
Fundamenta Informaticaei–i i DOIFIIOS Press