A Derivation System for Uniqueness Typing (1995)

Cached

Download Links

by Erik Barendsen , Sjaak Smetsers
Venue:SEGRAGRA'95: JOINT COMPUGRAPH/SEMAGRAPH WORKSHOP ON GRAPH REWRITING AND COMPUTATION, VOLTERRA (PISA), ITALY, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, ELSEVIER SCIENCE
Citations:4 - 1 self