Meta Model Isabelle

MaRDI QIDQ40302swMATHFDO

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

Cited in

(2)

• Applicative Lifting
• Equational Reasoning with Applicative Functors

This page was built for software: Meta Model Isabelle