January 2000 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Sun Jan 23 09:09:30 PDT 2000
Ending: Sat Jan 29 23:44:17 PDT 2000
Messages: 4

• Coinductive axiomatization of recursive type equality and subtyping   Massimo Dentico
• Informal Introduction   Brian T. Rice
• Some research papers relevant to the newest changes on 'semantics'   Brian T. Rice
• Coinductive axiomatization of recursive type equality and subtyping   Brian T. Rice

Last message date: Sat Jan 29 23:44:17 PDT 2000
Archived on: Thu Mar 9 16:54:23 PDT 2006

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...