A complete and decidable proof system for call-by-value equalities (preliminary report (1990)

by Jon G Riecke
Venue:Automata, Languages and Programming: 1 rth International Colloquium, volume 443 of Lect. Notes in Computer Sci