A Logical View of Composition (1993)

by Martín Abadi , Gordon D. Plotkin
Venue:THEORETICAL COMPUTER SCIENCE
Citations:34 - 8 self