Pers as types, inductive types and types with laws

T.S. Voermans

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationDeclarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991)
EditorsJ. Darlington, R. Dietrich
Place of PublicationBerlin
PublisherSpringer
Pages274-291
ISBN (Print)3-540-19735-4
Publication statusPublished - 1992

Publication series

NameWorkshops 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.
Voermans, T.S. / Pers as types, inductive types and types with laws. Declarative Programming (Proceedings PHOENIX Seminar and Workshop, Sasbachwalden, Black Forest, Germany, November 18-22, 1991). editor / J. Darlington ; R. Dietrich. Berlin : Springer, 1992. pp. 274-291 (Workshops in Computing).
@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 proceedingConference contributionAcademicpeer-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).