LambdaMu-calculus

swMATH42015MaRDI QIDQ5973720FDOQ5973720

Author name not available (Why is that?)

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