LambdaMu-calculus

MaRDI QIDQ5973720swMATHFDO

Authors Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Publication date 16 August 2017

Official website https://www.isa-afp.org/entries/LambdaMu.html

Cites work

• Unnamed Publication
• The \(\lambda \mu^{\mathbf{T}}\)-calculus

Cited in

(3)

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

This page was built for software: LambdaMu-calculus