A Filter Lambda Model and the Completeness of Type Assignment

@article{Barendregt1983AFL,
  title={A Filter Lambda Model and the Completeness of Type Assignment},
  author={Hendrik Pieter Barendregt and Mario Coppo and Mariangiola Dezani-Ciancaglini},
  journal={J. Symb. Log.},
  year={1983},
  volume={48},
  pages={931-940}
}
Highly Influential
This paper has highly influenced 52 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 321 extracted citations

Similar Papers

Loading similar papers…