Towards a Practical Library for Monadic Equational Reasoning in Coq : Mathematics of program construction (14th international conference, MPC 2022)
In: Lecture notes in computer science 13544:151-177; Jg. 13544 (2022) S. 151-177
Konferenz
Zugriff:
Titel: |
Towards a Practical Library for Monadic Equational Reasoning in Coq : Mathematics of program construction (14th international conference, MPC 2022)
|
---|---|
Autor/in / Beteiligte Person: | Saito, Ayumu ; Affeldt, Reynald |
Link: | |
Quelle: | Lecture notes in computer science 13544:151-177; Jg. 13544 (2022) S. 151-177 |
Veröffentlichung: | 2022 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|