Modelling the way mathematics is actually done.

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin

Browse the full ICFP paper archive.