Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types

LFCS seminar: Zhaohui Luo: Substructural calculi with dependent types

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
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 syntax-semantics 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 Curry-Howard correspondence for concurrent programs. Their technical developments will be described as well.

 

Document Actions