| 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
Voermans, T. S. (1992). Pers as types, inductive types and types with laws. In J. Darlington, & R. Dietrich (Eds.), Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991) (pp. 274-291). (Workshops in Computing). Berlin: Springer.
@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",
}
Voermans, TS 1992, Pers as types, inductive types and types with laws. in J Darlington & R Dietrich (eds), Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991). Workshops in Computing, Springer, Berlin, pp. 274-291.
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 -
Voermans TS. Pers as types, inductive types and types with laws. In Darlington J, Dietrich R, editors, Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991). Berlin: Springer. 1992. p. 274-291. (Workshops in Computing).