Dynamically-typed computations for order-sorted equational presentations –extended abstract (0)

by C Hintermeier, C Kirchner, H Kirchner
Venue:Proc. 21st International Colloquium on Automata, Languages, and Programming, volume 820 of Lecture Notes in Computer Science