View in EDS HTML Full Text PDF Full Text

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

Saved in:

Bibliographic Details
Title:	A practical formalization of monadic equational reasoning in dependent-type theory.
Authors:	AFFELDT, REYNALD¹ (AUTHOR), GARRIGUE, JACQUES² (AUTHOR), SAIKAWA, TAKAFUMI² (AUTHOR)
Source:	Journal of Functional Programming. 2025, Vol. 35, p1-40. 40p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S0956796824000157