LambdaMu-calculus

swMATH42015MaRDI QIDQ5973720

No author found.

Related Items (1)

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

This page was built for software: LambdaMu-calculus