An implementation of distributed mathematical services (1998)

by Jung, V Sorge
Venue:In Arjeh Cohen and Henk Barendregt, editors, CALCULEMUS and TYPES