Towards Fixed Point Models for Theories of Properties and Classes

Room / venue details: Old Quad, Room 142A
Address: University of Melbourne, Parkville - 3010, Australia