Object calculi in linear logic