Proof Theory and Logic Programming(lix.polytechnique.fr)11 ポイント·投稿者 remywang·4 か月前·0 コメントlix.polytechnique.frProof Theory and Logic Programminghttps://www.lix.polytechnique.fr/Labo/Dale.Miller/ptlp/0 コメントコメントを投稿—