Michael Huth, Achim Jung, Klaus Keimel. Linear types and approximation. Mathematical Structures in Computer Science, 10(6):719-745, 2000.
@article{HuthJK00, title = {Linear types and approximation}, author = {Michael Huth and Achim Jung and Klaus Keimel}, year = {2000}, researchr = {https://researchr.org/publication/HuthJK00}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {10}, number = {6}, pages = {719-745}, }