linear-types

2017-03-06 Applications of substructural typing
2017-02-06 Structural rules and substructural logics