Lax Logical Relations (2000)

by Gordon Plotkin , John Power , Donald Sannella , Robert Tennent
Venue:In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS
Citations:15 - 2 self