DMCA

Full Abstraction, Totality and PCF (1997)

by Gordon Plotkin
Venue:Math. Structures Comput. Sci
Citations:10 - 1 self