Non-linearity as the Metric Completion of Linearity

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/978-3-642-38946-7_3 ◽

2013 ◽

pp. 3-14 ◽

Cited By ~ 1

Author(s):

Damiano Mazza

Download Full-text