The approximation theorem for the Λμ-calculus

  • Ugo de'Liguoro
  • Published 2017 in Mathematical Structures in Computer Science

Cite this paper

@article{deLiguoro2017TheAT, title={The approximation theorem for the Λμ-calculus}, author={Ugo de'Liguoro}, journal={Mathematical Structures in Computer Science}, year={2017}, volume={27}, pages={560-580} }