Proof Net

See also

• Linear logic
• Ludics
• Geometry of interaction
• Coherent space

References

• Proofs and Types. Girard J-Y, Lafont Y, and Taylor P. Cambridge Press, 1989.

<< Previous Word Browser Next >>
drugware dynamite cop gerry meehan baby looney tunes the da vinci hoax northeastern ontario eskimo dog huston tech romancer arthur brown jr world cinema	beyond the valley of the dolls milton s. eisenhower gran cradle 2 the grave nicky line 1994 commonwealth games kirby's avalanche gummitwist myocardial disarray meaux merton	giaan rooney straits exchange foundation association for relations across the taiwan straits mainland affairs council western canada concept party of manitoba central ontario askone western independence party of manitoba billy vera sondra locke brandon cruz	hanussen mon calamari maverick (video game) national capital region (canada) cleavon little mark boswell aurora (planet) lunar: silver star story complete lisa hartman mineral point jeffrey adams