Validity as Choiceless Unification.

Frank Thomas Sautter, Bruno Ramos Mendona

Browse the full DIAGRAMS paper archive.