Coherent Banach spaces: a continuous denotational semantics (1999)

by Jean-yves Girard
Venue:Theoretical Computer Science
Citations:16 - 3 self