Monomorphic Monad

MaRDI QIDQ40297swMATHFDO

Authors Andreas Lochbihler

Publication date 5 May 2017

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)

• Tycon
• CryptHOL
• Ordinals Cardinals
• Regex_Equivalence
• Quotients of bounded natural functors
• Effect polymorphism in higher-order logic (proof pearl)

This page was built for software: Monomorphic Monad