Back to Results
First PageMeta Content
Type theory / Deduction / Data types / Functional programming / Symbol / Entailment / Type system / Valuation / Sheaf / Abstract algebra / Logic / Mathematics


SeLINQ: Tracking Information across Application-Database Boundaries Daniel Schoepe Daniel Hedin
Add to Reading List

Document Date: 2014-06-11 07:34:43

Open Document

File Size: 505,39 KB

Share Result on Facebook
UPDATE