Luiz Carlos and I discussed a very intuitive semantics for Full Intuitionistic Linear Logic on our way back from Ilha Grande, last year. Then I sent an abstract of this intuitive semantics to the Logic Colloquium in Vienna, thinking that Luiz Carlos would give the talk. After all, the idea was his of explaining the "multiplicative or" of Linear Logic, called "par", in terms of buying protocols from a big department store. Since he couldn't make it (too many trips to Sweden) I ended up giving the talk. The slides are here.
No comments:
Post a Comment