Linear type Theory

Wikipedia nLab

Contents

References