Monomorphic Monad

swMATH28583MaRDI QIDQ40297FDOQ40297

Author name not available (Why is that?)

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

Described by source

• Effect polymorphism in higher-order logic (proof pearl)

Cited In (6)

• Title not available (Why is that?)
• Tycon
• CryptHOL
• Ordinals Cardinals
• Regex_Equivalence
• Effect polymorphism in higher-order logic (proof pearl)

This page was built for software: Monomorphic Monad