An infinitary model of linear logic.

Charles GrelloisPaul-André Melliès
Published in: CoRR (2014)