Customize

1. You can enlarge the whole site (character size and with) by using the browser function to change characters size.

2. To your right it is possible to change the character size, font, spacing, characters and letters as well as adjust the colours. This will have consequences for the appearance of the whole website design. It will effect all pages at the University  of Gothenburg's website. The changes will remain the next time you log in. (To save your changes the browser must allow cookies.)

*Changes has been made to the look of this website


  • Home
  • CLASP seminar: Zhaohui Luo – MTT-semantics Is Both Model-theoretic and Proof-theoretic

CLASP seminar: Zhaohui Luo – MTT-semantics Is Both Model-theoretic and Proof-theoretic

SEMINAR

In this talk, after briefly introducing the formal semantics in modern type theories (MTT-semantics), I shall argue that it is both model-theoretic and proof-theoretic. This is due to the unique features of MTTs: they contain rich type structures that provide powerful representational means (e.g., to represent collections as types) and, at the same time, are specified proof-theoretically as rule-based systems whose sentences (judgements) can be understood inferentially.

Considered in this way, MTTs arguably have promising advantages when employed as foundational languages for formal semantics, both theoretically and practically.

Lecturer:
Zhaohui Luo is a Professor of Computer Science at the Department of Computer Science, Royal Holloway, University of London.

Date: 2016-04-27 15:15 - 17:00

Location: T219, Olof Wijksgatan 6

Permalink

add to Outlook/iCal

To the top

Page updated: 2016-03-23 14:24

Send as email
Print page
Show as pdf

X
Loading