CLTT

読むかなぁ

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)

Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)