CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1994 -
A bottom-up semantics for constructive negation Tech Report
January 1994
-
January 1994
-
January 1994
-
January 1994 -
January 1994 -
Which data types have w-complete initial algebra specifications? Article
Theoretical Computer Science, 124(1), 149-168.February 1994
-
February 1994