Partiality and its Mechanization

This web page is intended to become an entry point to the
work on a proper treatment of expressions like 1/0.
It is originated by several workshops on this topic.

By its nature this web page will always be under construction. Currently it is at a very early stage. If you want something to be added, please send an e-mail to Manfred Kerber, University of Birmingham, UK,

Workshops, events:

Researchers working on partiality:

Papers on partiality:

The URL of this page is:
Maintained by M.Kerber
Last update: 15 May 1998
Go to the Home Page of the School of Computer Science, The University of Birmingham