読みたい本

腐っても数学科の理論計算機専門なので, 線形論理からは逃れられないという現実に向き合わなければいけない. 照井先生のpdfで紹介されていた以下の2冊を図書館で借りてきた.

• 線形論理入門　竹内外史著
• Lectures on linear logic Troelstra著