Representing and handling mathematical concepts by humans and machines.

Henk Barendregt, Arjeh M. Cohen

Browse the full ISSAC paper archive.