LambdaMu-calculus

MaRDI QIDQ5973720swMATHFDO

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

Cited in

(3)

• KtoIsabelle
• A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
• KJS

This page was built for software: LambdaMu-calculus