Fault-Tolerant Voting in a Simply-Typed Lambda Calculus

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

Standard

Fault-Tolerant Voting in a Simply-Typed Lambda Calculus. / Elsman, Martin.

2007.

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

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

Elsman, Martin. / Fault-Tolerant Voting in a Simply-Typed Lambda Calculus. 2007.

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