Meta Model Isabelle

MaRDI QIDQ40302swMATHFDO

Authors Frédéric Tuong, Burkhart Wolff

Publication date 16 September 2015

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

Cited in

(2)

• Equational Reasoning with Applicative Functors
• Applicative Lifting

This page was built for software: Meta Model Isabelle