Return to Article Details Fixed-Point Models for Theories of Properties and Classes Download Download PDF