External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Pers as Types, Inductive Types and Types with Laws

Ed Voermans. Pers as Types, Inductive Types and Types with Laws. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 274-291, Springer, 1991.

Abstract

Abstract is missing.

runs on