Linear types and approximation

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},
}