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