LambdaMu-calculus

swMATH42015MaRDI QIDQ5973720FDOQ5973720

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: LambdaMu-calculus