Monica VanDieren of Robert Morris University (Pittsburgh) : Building models in $\lambda^{++}$
Posted by John Baldwin , part of the Logic Seminar.
- At
- July 13, 2009, 4:15 p.m.
- In
- SEO 636
- Abstract
- Recent work of Grossberg, VanDieren, and Villaveces
Posted by John Baldwin , part of the Logic Seminar.