A Structural (Meta-Logical) Semantics for Linear Objects

Giuseppe Manco, Franco Turini
Type
Conference paper
Publication
1995 Joint Conference on Declarative Programming, GULP-PRODE’95, Marina di Vietri, Italy, September 11-14, 1995