- Scholarly Journal
A practical formalization of monadic equational reasoning in dependent-type theory
PDF
CiteCite
Copy URL
https://www.proquest.com/scholarly-journals/practical-formalization-monadic-equational/docview/3152436729/se-2?accountid=208611
PrintAll Options