Classical Linear Logic in Perfect Banach Lattices.

Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen

Browse the full CSL paper archive.