Pers as types, inductive types and types with laws

T.S. Voermans

Pers as types, inductive types and types with laws

T.S. Voermans

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991)
Editors	J. Darlington, R. Dietrich
Place of Publication	Berlin
Publisher	Springer
Pages	274-291
ISBN (Print)	3-540-19735-4
Publication status	Published - 1992

Publication series

Name	Workshops in Computing

Cite this

@inproceedings{93d513223e484999b81ce4293d745bae,

title = "Pers as types, inductive types and types with laws",

author = "T.S. Voermans",

year = "1992",

language = "English",

isbn = "3-540-19735-4",

series = "Workshops in Computing",

publisher = "Springer",

pages = "274--291",

editor = "J. Darlington and R. Dietrich",

booktitle = "Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991)",

address = "Germany",

}

Pers as types, inductive types and types with laws. / Voermans, T.S.

Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991). ed. / J. Darlington; R. Dietrich. Berlin : Springer, 1992. p. 274-291 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Pers as types, inductive types and types with laws

AU - Voermans, T.S.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 3-540-19735-4

T3 - Workshops in Computing

SP - 274

EP - 291

BT - Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991)

A2 - Darlington, J.

A2 - Dietrich, R.

PB - Springer

CY - Berlin

ER -