Searching for authors named "Harold Schellinx" – sorted by Relevance.
-
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

