| Sun, 12 Feb 2017 11:52:20 +0900 |
atton |
Self review
|
| Sun, 12 Feb 2017 11:13:08 +0900 |
atton |
Update
|
| Sun, 12 Feb 2017 10:45:45 +0900 |
atton |
Update abstract
|
| Fri, 10 Feb 2017 17:22:00 +0900 |
Shinji KONO |
fix
|
| Fri, 10 Feb 2017 14:25:43 +0900 |
atton |
Update
1F-submit
|
| Thu, 09 Feb 2017 19:08:11 +0900 |
atton |
Update
|
| Thu, 09 Feb 2017 18:58:53 +0900 |
atton |
Fix
|
| Thu, 09 Feb 2017 18:54:18 +0900 |
atton |
Update
|
| Thu, 09 Feb 2017 18:52:09 +0900 |
atton |
Add figure
|
| Thu, 09 Feb 2017 18:37:26 +0900 |
atton |
Update
|
| Thu, 09 Feb 2017 18:30:02 +0900 |
atton |
Add figure meta-hierarchy
|
| Thu, 09 Feb 2017 18:12:12 +0900 |
atton |
Fix
|
| Thu, 09 Feb 2017 17:50:50 +0900 |
atton |
Add figure
|
| Thu, 09 Feb 2017 16:34:07 +0900 |
atton |
Update fig
|
| Thu, 09 Feb 2017 15:40:11 +0900 |
atton |
Fix lstinput
|
| Thu, 09 Feb 2017 15:36:52 +0900 |
atton |
Update curry-howard isomorphism
|
| Thu, 09 Feb 2017 13:57:35 +0900 |
atton |
Update type.tex
|
| Thu, 09 Feb 2017 12:56:22 +0900 |
atton |
Add simple/sub type description
|
| Wed, 08 Feb 2017 17:39:12 +0900 |
atton |
Update
|
| Wed, 08 Feb 2017 17:37:08 +0900 |
atton |
Update
|
| Wed, 08 Feb 2017 17:25:27 +0900 |
atton |
Update summary
|
| Wed, 08 Feb 2017 15:52:44 +0900 |
atton |
Update agda description
|
| Wed, 08 Feb 2017 14:49:51 +0900 |
atton |
Reconstruct paper
|
| Wed, 08 Feb 2017 14:27:06 +0900 |
atton |
Update chapter akasha
|
| Wed, 08 Feb 2017 13:50:52 +0900 |
atton |
Add chapter akasha
|
| Mon, 06 Feb 2017 20:23:42 +0900 |
atton |
First review
|
| Mon, 06 Feb 2017 16:13:14 +0900 |
atton |
Add references
|
| Mon, 06 Feb 2017 15:42:45 +0900 |
atton |
Add abstract
|
| Mon, 06 Feb 2017 10:32:49 +0900 |
atton |
Add sources
|
| Mon, 06 Feb 2017 10:15:16 +0900 |
atton |
Add sample source
|
