Mercurial > hg > Papers > 2017 > atton-master
comparison paper/atton-master.tex @ 28:36ce493604fb
Add akasha result
| author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 23 Jan 2017 18:41:23 +0900 |
| parents | c748fb296673 |
| children | 6271235aa6a3 |
comparison
equal
deleted
inserted
replaced
| 27:243d8dc4a292 | 28:36ce493604fb |
|---|---|
| 98 | 98 |
| 99 %chapters | 99 %chapters |
| 100 \input{introduction.tex} | 100 \input{introduction.tex} |
| 101 | 101 |
| 102 \input{cbc.tex} | 102 \input{cbc.tex} |
| 103 | 103 \input{type.tex} |
| 104 \chapter{ラムダ計算と型システム} | |
| 105 \label{chapter:type} | |
| 106 \section{型システムとは} | |
| 107 \section{型なしラムダ計算} | |
| 108 \section{単純型付きラムダ計算} | |
| 109 \section{部分型付け} | |
| 110 \section{部分型と Continuation based C} | |
| 111 | 104 |
| 112 \chapter{証明支援系言語 Agda による証明手法} | 105 \chapter{証明支援系言語 Agda による証明手法} |
| 113 \label{chapter:agda} | 106 \label{chapter:agda} |
| 114 \section{依存型を持つ証明支援系言語 Agda} | 107 \section{依存型を持つ証明支援系言語 Agda} |
| 115 \section{Natural Deduction} | 108 \section{Natural Deduction} |