Tue, 24 May 2005 07:43:38 +0200 huffman Simplified version of strict sum theory, using TypedefPcpo
Tue, 24 May 2005 05:52:48 +0200 huffman Simplified version of strict product theory, using TypedefPcpo
Tue, 24 May 2005 05:51:06 +0200 huffman New theory for defining subtypes of pcpos
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip