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