Linear metatheory via linear algebra (2019)
Attributed to:
Semantics for type theories with resource usage annotations
funded by
EPSRC
Abstract
No abstract provided