# Models of Computation

Teaching materials used for the course of Models of Computation, September - November, 2012 at University of Tsukuba

Title | Type |
---|---|

整礎帰納法 | File |

Exercises and answers of Chapter Recursive Function Theory | File |

Proof of Church-Rosser Theorem of the lambda calculus | File |

チューリングに関するエッセイ | File |