Z:gnu-www-ja-third-party-ideas--5251a3-=3Ca href=3D"http://www.juergen-er/bg

Софтуерните патенти под лупа. В тази статия авторът използва аргументи, основани на ламбда смятане, за да покаже, че софтуерът не може да бъде патентован.