| 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 |
| 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 |