KtoIsabelle

MaRDI QIDQ5974096swMATHFDO

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