Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches

An OSU-ICR co-sponsored workshop will be held on October 24-25 in Columbus, Ohio. The ICR is announcing a co-s … Continue reading Dynamic Semantics: Modern Type Theoretic and Category Theoretic Approaches

ICR : Institute for Comparative Research in Human and Social Sciences (ICR), University of Tsukuba