Modelling Combinatorial Auctions in Linear Logic

Open in new window