science.types (thread)

LICS-89, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O
BU colloq/ March 3, pam-yxhbIRfuK6b2fBVCVOL8/A
LOGIC MEETING UPDATE, Andre Scedrov
typed versus untyped CR proofs, jr . hindley
Confluence and SN property, jean-9NXzorJndM5sGC4/JZ2XKrK6bRJNSFrb
confluence for typed terms, John Mitchell
- Confluence for typed terms, Garrel Pottinger
- Confluence for typed terms, Garrel Pottinger
- Confluence for typed terms, Garrel Pottinger
- confluence for typed terms, Robert Harper
Research Associate In Generic Theorem Proving, lcp%computer-lab . cambridge . ac . uk-LEftKC8aXbilgWnZye4G+Q
PENN LOGIC MEETING, Andre Scedrov
set-models of polymorphism, Thierry Coquand