Works matching IS 09601295 AND DT 2000 AND VI 10 AND IP 6

Results: 1
    1

    Linear types and approximation.

    Published in:
    Mathematical Structures in Computer Science, 2000, v. 10, n. 6, p. 719, doi. 10.1017/s0960129500003200
    By:
    • HUTH, MICHAEL;
    • JUNG, ACHIM;
    • KEIMEL, KLAUS
    Publication type:
    Article