Lectures on the Curry-Howard Isomorphism [unpub. notes]

معرفی کتاب «Lectures on the Curry-Howard Isomorphism [unpub. notes]» نوشتهٔ Morten Heine Sørensen, Paweł Urzyczyn، منتشرشده توسط نشر 0. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.