Jean-Baptiste Joinet

Available identifiers

zbMath Open joinet.jean-baptisteMaRDI QIDQ1345899

List of research outcomes

Publication	Date of Publication	Type
Strong normalization for all-style LKtq	2019-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5283784	2017-07-25	Paper
Proofs, Reasoning and the Metamorphosis of Logic	2015-05-22	Paper
https://portal.mardi4nfdi.de/entity/Q3629032	2009-05-26	Paper
Completeness of MLL proof-nets w.r.t. weak distributivity	2007-03-12	Paper
Linear logic and elementary time	2003-08-19	Paper
Computational isomorphisms in classical logic	2003-07-29	Paper
SN and CR for free-style LKtq: linear decorations and simulation of normalization	2002-10-29	Paper
https://portal.mardi4nfdi.de/entity/Q4222844	1998-12-14	Paper
A new deconstructive logic: linear logic	1998-04-05	Paper
On the linear decoration of intuitionistic derivations	1995-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4842975	1995-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4282602	1994-03-17	Paper

Research outcomes over time

This page was built for person: Jean-Baptiste Joinet