Prime ideals on P ω (λ) with the partition property Pierre MatetCédric PéanStevo Todorcevic Pages: 743 - 764
A normalizing system of natural deduction for intuitionistic linear logic Sara Negri Pages: 789 - 810