A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report).

Jon G. Riecke

Browse the full ICALP paper archive.