Duality and De Morgan Principles for Lists

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 390-398
https://doi.org/10.1007/978-1-4612-4476-9_48

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Algebraic Identities for Program Calculation
The Computer Journal, 1989
Miranda: A non-strict functional language with polymorphic types
Lecture Notes in Computer Science, 1985