@inproceedings{Rossman_LICS_2025,
    title = {Existential Positive Types and Preservation under Homomorphisisms},
    url = {http://dx.doi.org/10.1109/LICS.2005.16},
    doi = {10.1109/lics.2005.16},
    booktitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS’ 05)},
    publisher = {IEEE},
    author = {Rossman, Benjamin},
    pages = {467–476},
    date-added = {2025-6-24 8:30:18 +0100}
}

@inproceedings{Rossman_LICS_2025, title = {Existential Positive Types and Preservation under Homomorphisisms}, url = {http://dx.doi.org/10.1109/LICS.2005.16}, doi = {10.1109/lics.2005.16}, booktitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS’ 05)}, publisher = {IEEE}, author = {Rossman, Benjamin}, pages = {467–476}, date-added = {2025-6-24 8:30:18 +0100} }