Reports

29/03/09 - 14/04/09 Foundations of Mathematics Workshop, Bristol: Discussions & presentations led by FW Lawvere on category theory & topos theory, on aspects of their foundational significance & some open problems therein.

There are no relevant reports for this item