Last update: Sun Oct 15 02:56:11 MDT 2017
@Article{Girard:1998:CBS, author = "J.-Y. Girard", title = "Coherent {Banach} spaces: a continuous denotational semantics", journal = j-THEOR-COMP-SCI, volume = "197", number = "1--2", pages = "244--??", day = "15", month = may, year = "1998", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Wed May 27 07:21:35 MDT 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1995.bib", acknowledgement = ack-nhfb, classification = "C4210 (Formal logic)", conflocation = "Tokyo, Japan; 28 March-2 April 1996", conftitle = "Linear Logic '96 (papers in summary form only received)", fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", keywords = "Banach spaces; coherent Banach spaces; continuous denotational semantics; formal logic; linear logic; supremum", pubcountry = "Netherlands", treatment = "P Practical; T Theoretical or Mathematical", xxnote = "Check page numbers: duplicate in adjacent entries", }