Applicative Lifting

swMATH28587MaRDI QIDQ40301FDOQ40301

Author name not available (Why is that?)

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

Cited In (2)

• Meta Model Isabelle
• Equational Reasoning with Applicative Functors

This page was built for software: Applicative Lifting