Abstract

I will give the background and definition, briefly discuss a few examples and discuss how they are models of linear logic. I will also describe very briefly the Chu construction and its history. The main purpose of this introduction is to determine if there is enough interest to expand the topic into a series of lectures.