T. Ehrhard. Parallel and serial hypercoherences. In Theoretical Computer Science, 247: 39-81, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Relative Definability of Boolean Functions via Hypergraphs - Bucciarelli (Correct)
....were rst introduced in [6] where an in nite subposet of degrees was pointed out. However no precise connection between hypergraphs and monotone functions was established there. The definition of functional hypergraphs bears striking resemblance to Ehrhard s definition of parallel hypercoherence [8] and indeed we owe him the condition [H2 ] in section 3. 4 2 The upper semi lattice of degrees Given a monotone function f : B n B, the trace of f is de ned by tr(f) f(v; b) j v 2 B n ; b 2 B; b 6= f(v) b and 8v 0 v f(v 0 ) g: Traces are in one to one correspondence with ....
T. Ehrhard. Parallel and Serial Hypercoherences. Manuscript 1995.
Comparing Hierarchies of Types in Models of Linear Logic - Mellies (2003) (1 citation) (Correct)
No context found.
T. Ehrhard. Parallel and serial hypercoherences. In Theoretical Computer Science, 247: 39-81, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC