Poigne, A.A.Poigne2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/323722en005006629400Identity and existence, and types in algebraconference paper