Linear metatheory via linear algebra (2019)

First Author: Atkey R
Attributed to:  Semantics for type theories with resource usage annotations funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://cas.oslo.no/types2019/

Type: Other