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