<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-03-24 08:33:36Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science |
|
| First Page | Document Content | |
|---|---|---|
Date: 2014-03-24 08:33:36Deduction 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