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++ -/.