Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
Research output: Book/Report › Report › Research
| Translated title of the contribution | Fault-Tolerant Voting in a Simply-Typed Lambda Calculus |
|---|---|
| Original language | English |
| Publication status | Published - 1 Jun 2007 |
|---|---|
| Externally published | Yes |
ID: 129628276