science.types (date)

science.types (date)

July 31, 1989

Interdefinability of Parallel Operations in PCF, Allen Stoughton
Interdefinability of Parallel Operations in PCF, Allen Stoughton

July 28, 1989

meyer to plotkin re full-abstraction for call-by-value, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
re: Bounded Linear Logic, Paul Taylor

July 27, 1989

Coherence of Subsumption, Pierre-Louis Curien

July 20, 1989

Bounded Linear Logic (Revised Announcement), Phil Scott

July 18, 1989

Bounded Linear Logic, A. Scedrov & P.J.Scott

July 17, 1989

semi-unification, Gert Smolka

News | FAQ | advertise