L
ogic/
G
eneral
L
ogic/
L
ambda
C
alculus
2017
The LambdaMu-calculus
by
Cristina Matache
,
Victor B. F. Gomes
and
Dominic P. Mulligan
Aug 16