Current Interests

[ssirai]

関心のある事あるいは書籍を雑多に書き連ねていく。

[ssirai]

プログラム言語基礎論・型理論

Practical Foundations for Programming Languages - book.pdf

Type Theory and Functional Programming

Proofs and Types

Amazon.co.jp： Types and Programming Languages: Benjamin C. Pierce: 洋書

表示的意味論など

Amazon.co.jp： The Formal Semantics of Programming Languages: Glynn Winskel: 洋書

Amazon.co.jp： プログラム意味論 (情報数学講座): 横内 寛文: 本

Amazon.co.jp： Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Computer Science Series): Joseph E. Stoy: 洋書

圏論的意味論

categorical semantics in nLab

relation between type theory and category theory in nLab

A standard textbook reference for categorical semantics of logic is section D1.2 of

Amazon.co.jp： Sketches of an Elephant: A Topos Theory Compendium (Oxford Logic Guides, 43 & 44) (2 Volume Set): Peter T. Johnstone, P. T. Johnstone: 洋書

Amazon.co.jp： Categories for Types (Cambridge Mathematical Textbooks): Roy L. Crole: 洋書

Categorical Semantics of Linear Logic

圏論

圏論の教科書はホモロジー代数に関するものとそれ以外に大別されるらしいので、前者を避けるようなものを。

Category Theory - Steve Awodey

Computational Category Theory

An introduction to Category Theory with over 200 exercises and solutions available

Category Theory for Computing Science

Call-By-Push-Value

今はこの分野を興味深いと思っている。圏論的意味論が示されているのでそれを理解するのに必要な知識を身につけていきたい。

Paul Blain Levy Papers

Adjunction Models for CBPV

Possible Worlds For Call-By-Value

Call-By-Push-Value - Paul Blain Levy