This graduate course provides an introduction to linear logic with an emphasis on its applications in computer science. This includes the theory of functional, logic, imperative, and concurrent ...
Games, Logic and Computers A close kinship among them is demonstrated by a game of solitaire played with colored "dominoes." Whether or not the game can be won is analogous to whether or not a ...