Monica VanDieren : 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.