|
Search the dblp DataBase
Jean-Baptiste Joinet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. [Citation Graph (0, 0)][DBLP] Kurt Gödel Colloquium, 1993, pp:159-171 [Conf]
- Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
Strong Normalization for All-Style LK. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1996, pp:226-243 [Conf]
- Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
- Jean-Baptiste Joinet
Calculus of structures and proof-nets. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
- Vincent Danos, Jean-Baptiste Joinet
Linear logic and elementary time. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:183, n:1, pp:123-137 [Journal]
- Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
A New Deconstructive Logic: Linear Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1997, v:62, n:3, pp:755-807 [Journal]
- Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2002, v:67, n:1, pp:162-196 [Journal]
- Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:294, n:3, pp:353-378 [Journal]
Search in 0.001secs, Finished in 0.002secs
|