[PL-sem-jr] wiki link for Lin. Logic/Types Talk

Felix S Klock pnkfelix at ccs.neu.edu
Thu Jul 7 16:44:17 EDT 2005


All-

Here is the list of references.

https://gradwiki.ccs.neu.edu/index.cgi?OnLinearLogicAndLinearTypeSystems

It is also linked to from the PL Jr Seminar WIKI page, available at:

https://gradwiki.ccs.neu.edu/index.cgi?PlSeminarJr

-Felix

----
don't blame your stupidity on C++  -/.




More information about the Pl-sem-jr mailing list