ULTRA group
Useful Logics, Types, Rewriting,
and Applications
UKII
UK Institute of Informatics,
UK
Edinburgh.
Scotland.
Heriot-Watt.