Related IU Centers and Groups

• Center for Programming Systems
• Indiana University Program in Pure and Applied Logic
• PL Reading Group
• Type Theory Reading Group