[PRL] den sem

[Matthias Felleisen]

Gee thanks for the detailed explanation of a violent agreement.

If I wrote the sentence on Univ Domain/Language as is, I was asleep  
at the wheel again. My mono on ObsSeq uses a category and I am fully  
aware of the nature of constructive mathematics.

I guess omitting "necessarily" from a sentence produced a wonderful  
wikipedia entry. Of course to be fully believable you will have to  
expand on what [4] is.

Back to real work -- Matthias