Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
Research output: Book/Report › Report › Research
Standard
Fault-Tolerant Voting in a Simply-Typed Lambda Calculus. / Elsman, Martin.
2007.Research output: Book/Report › Report › Research
Harvard
Elsman, M 2007, Fault-Tolerant Voting in a Simply-Typed Lambda Calculus.
APA
Elsman, M. (2007). Fault-Tolerant Voting in a Simply-Typed Lambda Calculus.
Vancouver
Elsman M. Fault-Tolerant Voting in a Simply-Typed Lambda Calculus. 2007.
Author
Bibtex
@book{a675c3a824a4410aa2e7a783fc9bcb7b,
title = "Fault-Tolerant Voting in a Simply-Typed Lambda Calculus",
author = "Martin Elsman",
year = "2007",
month = jun,
day = "1",
language = "English",
}
RIS
TY - RPRT
T1 - Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
AU - Elsman, Martin
PY - 2007/6/1
Y1 - 2007/6/1
M3 - Report
BT - Fault-Tolerant Voting in a Simply-Typed Lambda Calculus
ER -
ID: 129628276