Searching for authors named "Harold Schellinx" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Introducing: " Linearrrr ... Logic ...!?! "
- …Introducing: " Linearrrr ... Logic ...!?! " Harold Schellinx Department of Mathematics and Computer…
- Add To MetaCart
-
A Linear Approach to Modal Proof Theory
- …A Linear Approach to Modal Proof Theory by Harold Schellinx ' Equipe de Logique Math…
- Cited by 1 (1 self) – Add To MetaCart
-
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
- … ? , Jean-Baptiste Joinet ?? , Harold Schellinx ??? ' Equipe de Logique Math'ematique, Universit'e Paris…
- Cited by 12 (6 self) – Add To MetaCart
-
Computational Isomorphisms in Classical Logic
- …Computational isomorphisms in classical logic Vincent Danos , Jean-Baptiste Joinet y & Harold…
- Cited by 1 (1 self) – Add To MetaCart
-
Computational isomorphisms in classical logic (Extended Abstract)
- …;1 Jean-Baptiste Joinet a;2 Harold Schellinx b;3 a ' Equipe de Logique Math'ematique Universit…
- Cited by 3 (0 self) – Add To MetaCart
-
LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication
- … of classical implication by Vincent Danos, Jean-Baptiste Joinet y & Harold Schellinx z Equipe de Logique…
- Cited by 30 (4 self) – Add To MetaCart
-
A New Deconstructive Logic: Linear Logic
- …A new deconstructive logic: linear logic Vincent Danos , Jean-Baptiste Joinet y & Harold…
- Cited by 70 (10 self) – Add To MetaCart
-
SN and CR for free-style LK^tq: linear decorations and simulation of normalization
- …-Baptiste Joinet , Harold Schellinx y , Lorenzo Tortora de Falco z Equipe de Logique Mathematique…
- Cited by 1 (1 self) – Add To MetaCart
-
On the Linear Decoration of Intuitionistic Derivations
- … y & Harold Schellinx z ' Equipe de Logique Math'ematique, Universit'e Paris VII Faculteit…
- Cited by 10 (0 self) – Add To MetaCart
-
Strong Normalization for all-style
- …Strong Normalization for all-style LK tq Extended Abstract Jean-Baptiste Joinet ? , Harold…
- Add To MetaCart
Showing 1 through 10.
