In Partnership with AOL Search
The formulae-as-types correspondence is normally understood as giving a constructive interpretation for a logic, whilst classical logic is normally understood as resisting an interpreatation. Thus results that show that classical logic admits a formulae-as-types correspondence have provoked a lot of interest in the research community.
Applications of logic to process algebras are often inspired by the concurrent analogue of the formulae-as-types correspondence proposed by Samson Abramsky and inspired by Girard's linear logic.
Copyright © 1998-2016 AOL Inc. Terms of Use
Last update: Tuesday, January 2, 2007 5:54:53 PM EST - edit