16 Jan
1995
16 Jan
'95
7:07 p.m.
Peter, Do you have any interesting examples of ``domain equations'' over this category? There is certainly no model of the lambda calculus there. Samson