A Structural (Meta-Logical) Semantics for Linear Objects

Conference Paper

Publication Date:

1995

Iris type:

04.01 Contributo in Atti di convegno

List of contributors:

Authors of the University:

MANCO GIUSEPPE

Handle:

Book title:

1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995