science.types (thread)

Interdefinability of Parallel Operations in PCF, Allen Stoughton
- Interdefinability of Parallel Operations in PCF, Allen Stoughton
meyer to plotkin re full-abstraction for call-by-value, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
Coherence of Subsumption, Pierre-Louis Curien
Bounded Linear Logic (Revised Announcement), Phil Scott
Bounded Linear Logic, A. Scedrov & P.J.Scott
- re: Bounded Linear Logic, Paul Taylor
semi-unification, Gert Smolka