DMCA

Logical Full Abstraction and PCF (1996)

by John Longley , Gordon Plotkin
Venue:TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION. SILLI/CSLI
Citations:15 - 5 self