If you suspend your transcription on amara.org, please add a timestamp below to indicate how far you progressed! This will help others to resume your work!
Please do not press “publish” on amara.org to save your progress, use “save draft” instead. Only press “publish” when you're done with quality control.
Type systems are popular in computer science, for example among functional programming languages such as Haskell and various ML dialects. The theory behind these type systems, called type theory, is an active field of research both in computer science and logic. Another field where type theory can be relevant is natural language semantics, the study of meaning of natural language statements. It is a difficult task to specify in a rigorous manner what "meaning" should be in the context of natural languages. This talk will discuss the concept of meaning for natural languages, present some of the formal approaches to meaning established in the last 50 years and show how type theory and other tools from computer science can help us to express meaning for natural languages.