%0 Generic
%T Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
%A Bernadet, Alexis
%A Lengrand, Stéphane
%A Alexis Bernadet and Stéphane Lengrand
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K System F
%K non-idempotent intersections
%K realisability
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Download citation