Back to Results
First PageMeta Content
Deduction / Lambda calculus / Process calculi / Π-calculus / Function / Valuation / Fixed-point combinator / Branch point / Entailment / Mathematics / Logic / Theoretical computer science


Progress as Compositional Lock-Freedom Marco Carbone 1 2
Add to Reading List

Document Date: 2014-03-24 08:33:36

Open Document

File Size: 396,03 KB

Share Result on Facebook
UPDATE