Search results

* An [[introduction]] to linear logic

introduction rule, there is a right introduction rule for the dual connective

...nerally for continuous functions on domains. However, as mentionned in the introduction, the restriction to coherent spaces allows to endow the set of stable funct

==Introduction==

...1|volume=5|series=Graduate Texts in Mathematics}}</ref>for a more detailed introduction to category theory. See <ref>{{BibEntry|bibtype=book|author=Melliès, Paul-

If <math>\vdash\Gamma,A,B</math> is provable, then by the introduction rule for <math>\parr</math> * If the last rule of <math>\pi</math> is the introduction of the <math>\parr</math> in <math>A\parr B</math>, then the premiss is exa