The Scott model of Linear Logic is the extensional collapse of its relational model

Add to your list(s) Download to your calendar using vCal

• Thomas Ehrhard, Université Paris Diderot
• Thursday 20 May 2010, 10:00-11:00
• MR4, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Nathan Bowler.

We show that the extensional collapse of the relational model of linear logic is the model of prime-algebraic complete lattices, a natural extension to linear logic of the well known Scott semantics of the lambda-calculus.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Cambridge talks
• Category Theory Seminar
• Computing and Mathematics
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Department of Computer Science and Technology talks and seminars
• Hanchen DaDaDash
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• MR4, Centre for Mathematical Sciences
• School of Physical Sciences
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndb35's list
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.