Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

Bidragets oversatte titel: Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

Martin Elsman

Bidragets oversatte titelFault-Tolerant Voting in a Simply-Typed Lambda Calculus
OriginalsprogEngelsk
StatusUdgivet - 1 jun. 2007
Udgivet eksterntJa

Citationsformater