Search results for: Gerard Huet
Lecture Notes in Computer Science > CAAP'83 > 205-220
Lecture Notes in Computer Science > EUROCAL '85 > 151-184
Lecture Notes in Computer Science > TAPSOFT '87 > 276-286
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Invited Papers > 17-18
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 229-240
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Behaviour and Formal Languages > 355-374
Lecture Notes in Computer Science