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
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 primealgebraic complete lattices, a natural extension to
linear logic of the well known Scott semantics of the lambdacalculus.
This talk is part of the Category Theory Seminar series.
This talk is included in these lists:
Note that exdirectory lists are not shown.
