Giuseppe Longo, Marisa Venturini Zilli. A Theory of Computation with an Identity Discriminator. In ICALP. pages 147-167, 1976.
@inproceedings{LongoZ76,
title = {A Theory of Computation with an Identity Discriminator},
author = {Giuseppe Longo and Marisa Venturini Zilli},
year = {1976},
researchr = {https://researchr.org/publication/LongoZ76},
cites = {0},
citedby = {0},
pages = {147-167},
booktitle = {ICALP},
}