A practical formalization of monadic equational reasoning in dependent-type theory

Номзүйн дэлгэрэнгүй

-д хэвлэсэн:	Journal of Functional Programming vol. 35 (Jan 2025)
Үндсэн зохиолч:	Affeldt, Reynald
Бусад зохиолчид:	Garrigue, Jacques, Saikawa, Takafumi
Хэвлэсэн:	Cambridge University Press
Нөхцлүүд:	Set theory Functional programming Programming languages Interfaces Reasoning Algebra Factories
Онлайн хандалт:	Citation/Abstract Full Text - PDF
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!