Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

doi 10.1109/lics.2005.6
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE