LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types
What 


When 
Jul 04, 2017 from 03:00 PM to 04:00 PM 
Where  IF 4.31/4.33 
Add event to calendar 
vCal iCal 
In this talk, I shall consider how to introduce dependent types into substructural calculi such as the Lambek calculus and linear logic. The studies of Lambek dependent types and linear dependent types will be motivated, respectively, by the search for a nice syntaxsemantics interface for natural language that corresponds to formal semantics in modern type theories and by the potential development of a richer notion of session types to understand the CurryHoward correspondence for concurrent programs. Their technical developments will be described as well.