Login / Signup

A Finiteness Structure on Resource Terms.

Thomas Ehrhard
Published in: LICS (2010)
Keyphrases