Origin Definitions Sections NuprlLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
EventSystems
Nuprl Section: EventSystems - Mark Bickford's Event Systems formalization.

This is Mark Bickford's formal library about the Event Systems developed by him and Robert Constable.

This theory was originally explained in the Tech Report A Logic of Events (Bickford and Constable, 2003).

A more up-to-date partial explanation (to be expanded) of the basics is Excerpt from Event Systems Article.
This is presented as a PDF file that links directly into the Web pages for the
underlying formal material when viewed with a properly enabled browser.

mb event system 7
mb event system 6
mb event system 5
mb event system 4
mb event system 3
mb event system 2
mb event system 1
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Origin Definitions Sections NuprlLIB Search Doc