Date: Wed, 20 Nov 1996 19:15:47 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Tue, 28 Nov 1995 19:52:20 GMT Content-length: 954 Foundations of Circularity

Foundations of Circularity

Description:
Ciruclarity is a widespread phenomena in computer science. This has led Peter Aczel and others to develop a richer notion of set emboddied in the antifounded universe of hypersets. This project is devoted to applying this theory in comptuer science and to developing the theory of hypersets in response to needs from such applications. Barwise and Moss are currently finishing Vicious Circles , a book on this topic.

Associated Faculty: Jon Barwise, Larry Moss, Dirk van Gucht

Associated Graduate Students: Alexander Baltag (math), Matthias Scheutz

Return to Computer Science Research Page