Publications

2 results at LICS 1990

Completeness for typed lazy inequalities
- - Stavros S. Cosmadakis
  - Albert R. Meyer
  - et al.
- 1990
- LICS 1990
A constraint sequent calculus
- - J.-L. Lassez
  - Ken McAloon
- 1990
- LICS 1990

Completeness for typed lazy inequalities