The Weak Completion Semantics and Equality.

Emmanuelle-Anna Dietz, Steffen Hlldobler, Sibylle Schwarz, L. Yohanes Stefanus

Browse the full LPAR paper archive.