Towards a Semantics for the QUEST Language

Fabio Alessi, Franco Barbanera

Browse the full LICS paper archive.