Effectively Given Domains and Lambda-Calculus Models

@article{Giannini1984EffectivelyGD,
  title={Effectively Given Domains and Lambda-Calculus Models},
  author={Paola Giannini and Giuseppe Longo},
  journal={Information and Control},
  year={1984},
  volume={62},
  pages={36-63}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…