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

Cached

Download Links

by Thomas Ehrhard
Citations:3 - 1 self