Sign in
Substructural typestates.
Filipe Militão
Jonathan Aldrich
Luís Caires
Published in:
PLPV (2014)
Keyphrases
</>
propositional calculus