Add link to wadler's taste of linear logic.