Giuseppe Longo, Marisa Venturini Zilli
A Theory of Computation with an Identity Discriminator
ICALP, 1976.
@inproceedings{ICALP-1976-LongoZ,
author = "Giuseppe Longo and Marisa Venturini Zilli",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "147--167",
title = "{A Theory of Computation with an Identity Discriminator}",
year = 1976,
}