@inproceedings{Asperti_2008,
    doi = {10.1145/1328438.1328455},
    url = {https://doi.org/10.1145%2F1328438.1328455},
    year = {2008},
    month = {jan},
    publisher = {{ACM}},
    author = {Andrea Asperti},
    title = {The intensional content of Rice{\textquotesingle}s theorem},
    booktitle = {Proceedings of the 35th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages}
}

@inproceedings{Asperti_2008, doi = {10.1145/1328438.1328455}, url = {https://doi.org/10.1145%2F1328438.1328455}, year = {2008}, month = {jan}, publisher = {{ACM}}, author = {Andrea Asperti}, title = {The intensional content of Rice{\textquotesingle}s theorem}, booktitle = {Proceedings of the 35th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages} }