Skip to content

Generalised species of rigid resource terms.

Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong

VenueA*LICS
Year2017
ProceedingsLICS

Browse the full LICS paper archive.