KtoIsabelle

swMATH46092MaRDI QIDQ5974096FDOQ5974096

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-85315-0_10

Source code repository: https://github.com/liyili2/KtoIsabelle

Described by source

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

Cited In (2)

• KJS
• LambdaMu-calculus

This page was built for software: KtoIsabelle