A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.

Arnon Avron A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. 87-106 2008 conf/birthday/2008trakhtenbrot Pillars of Computer Science http://dx.doi.org/10.1007/978-3-540-78127-1_6 db/conf/birthday/trakhtenbrot2008.html#Avron08