data.bib

CoqBook2018

{Coq/SSReflect/MathCompによる定理証明}
荻原学 and アフェルト・レナルド
      (2018)

Ball2018

{Go言語でつくるインタプリタ}
T. Ball
      (2018)

KobayashiSumii2020

プログラム意味論の基礎
小林直樹 and 住井英次郎
      (2020)

Ono2022

情報科学における論理
小野寛晰
      (2022)

software_foundations

{SOFTWARE FOUNDATIONS VOLUME1: LOGICAL FOUNDATIONS}

      (2022)

parser2012

{Validating LR(1) parsers}

      (2012)