Non-stable models of linear logic (1992)

by R Hoofman