Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
| Bidragets oversatte titel | Fault-Tolerant Voting in a Simply-Typed Lambda Calculus |
|---|---|
| Originalsprog | Engelsk |
| Status | Udgivet - 1 jun. 2007 |
|---|---|
| Eksternt udgivet | Ja |
ID: 129628276