science.types (date)

science.types (date)

February 28, 1989

LICS-89, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
BU colloq/ March 3, pam-yxhbIRfuK6b2fBVCVOL8/A
LOGIC MEETING UPDATE, Andre Scedrov

February 24, 1989

typed versus untyped CR proofs, jr . hindley
Confluence and SN property, jean-9NXzorJndM5sGC4/JZ2XKrK6bRJNSFrb
confluence for typed terms, Robert Harper

February 23, 1989

Confluence for typed terms, Garrel Pottinger
Confluence for typed terms, Garrel Pottinger
Confluence for typed terms, Garrel Pottinger

February 21, 1989

confluence for typed terms, John Mitchell

February 15, 1989

Research Associate In Generic Theorem Proving, lcp%computer-lab . cambridge . ac . uk-LEftKC8aXbilgWnZye4G+Q

February 14, 1989

PENN LOGIC MEETING, Andre Scedrov

February 10, 1989

set-models of polymorphism, Thierry Coquand

News | FAQ | advertise