Skip to content

A linear logical framework in hybrid (invited talk).

Amy P. Felty

VenueBCPP
Year2019
ProceedingsCPP

Browse the full CPP paper archive.