The Groupoid Model Refutes Uniqueness of Identity Proofs

Martin Hofmann, Thomas Streicher

Browse the full LICS paper archive.