1750
4 works on record
Higher-order algebra, logic, and term rewriting
Formal program development
Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995
De vita et scriptis Iohannis Molleri ..