An algebraic interpretation of the λβK-calculus and a labelled λ-calculus

Publisher Website

6 December 2005

book chapter
Published by Springer Nature

p. 147-165
https://doi.org/10.1007/bfb0029523

Abstract

No abstract available

Keywords

Cited by 17 articles