Related IU Centers and Groups

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