General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus

@article{Jacopini1993GeneralRF,
  title={General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus},
  author={G. Jacopini and G. Sontacchi},
  journal={Theor. Comput. Sci.},
  year={1993},
  volume={121},
  pages={169-178}
}
Highly Cited
This paper has 48 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
30 Citations
0 References
Similar Papers