Searching for "Proof Nets." – sorted by Relevance.
486 documents found, showing 1 through 10.
Next 10 →
-
Proof nets for the Lambekcalculus — an overview
- …Proof nets for the Lambek calculus — an overview François Lamarche and Christian Retoré {lamarche…
- Cited by 12 (2 self) – Add To MetaCart
-
Labelled Proof Nets for the Syntax
- …Labelled Proof Nets for the Syntax and Semantics of Natural Languages GUY PERRIER, LORIA…
- Add To MetaCart
-
Proof nets, Garbage, and Computations
- …Proof nets, Garbage, and Computations 1 Stefano Guerrini a Simone Martini c Andrea Masini b a…
- Cited by 6 (5 self) – Add To MetaCart
-
Proof Nets and Explicit Substitutions
- …Proof Nets and Explicit Substitutions Roberto Di Cosmo Delia Kesner x Emmanuel Polonovski…
- Cited by 6 (2 self) – Add To MetaCart
-
Proof-Nets And Dependencies
- …Abstract Proof-Nets (Roorda 1990) are a good device for processing with eategorial grammars…
- Add To MetaCart
-
Parsing MELL Proof Nets
- …Parsing MELL Proof Nets Stefano Guerrini a and Andrea Masini b a University of Pennsylvania…
- Cited by 4 (2 self) – Add To MetaCart
-
Proof-Nets And Dependencies
- …PROOF-NETS AND DEPENDENCIES Alain LECOMTE GRIL Universit�� Blaise Pascal 34 Avenue Carnot 63037…
- Cited by 2 (0 self) – Add To MetaCart
-
Clausal Proof Nets and Discontinuity
- …Clausal Proof Nets and Discontinuity Glyn Morrill Secci'o d'Intel\Deltalig`encia Artificial…
- Cited by 1 (0 self) – Add To MetaCart
-
Concurrent Programming as Proof Net Construction
- … Concurrent Programming as Proof Net Construction G. Perrier CRIN-CNRS & INRIA Lorraine Campus Scientifique…
- Cited by 3 (0 self) – Add To MetaCart
-
Subnets of Proof-nets in MLL-
- …Subnets of Proof-nets in MLL \Gamma G. Bellin J. van de Wiele December 21, 1994 Abstract…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
