Monad normalisation

MaRDI QIDQ53725swMATHFDO

Authors Joshua Schneider, Manuel Eberl, Andreas Lochbihler

Publication date 5 May 2017

Official website https://www.isa-afp.org/entries/Monad_Normalisation.html

Cites work

• A term equality problem equivalent to graph isomorphism
• Equational Reasoning with Applicative Functors

Cited in

(6)

• Ergodic theory
• QuickSort Cost
• Root Balanced Tree
• Random BSTs
• Probabilistic_Prime_Tests
• Verified analysis of random binary tree structures

This page was built for software: Monad normalisation