Semantics for Algebraic Operations (2001)

by Gordon Plotkin , John Power
Venue:Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci
Citations:11 - 2 self