Monad normalisation

swMATH38025MaRDI QIDQ53725FDOQ53725

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Monad normalisation