A condition for identifying two elements of whatever model of combinatory logic

@inproceedings{Jacopini1975ACF,
  title={A condition for identifying two elements of whatever model of combinatory logic},
  author={Giuseppe Jacopini},
  booktitle={Lambda-Calculus and Computer Science Theory},
  year={1975}
}

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
20 Extracted Citations
0 Extracted References
Similar Papers

Similar Papers

Loading similar papers…