圏論による論理学(本)
#読書
λ-hol，型付きλ高階論理