Gluing resource proof-structures: inhabitation and inverting the Taylor expansion von Guerrieri, Giulio, Pellissier, Luc, de Falco, Lorenzo Tortora

Volltext

Polyadic approximations, fibrations and intersection types von Mazza, Damiano, Pellissier, Luc, Vial, Pierre

Volltext

Proof-Net as Graph, Taylor Expansion as Pullback von Guerrieri, Giulio, Tortora de Falco, Lorenzo

Volltext

The calculus of language: explicit representation of emergent linguistic structure through type-theoretical paradigms von Gastaldi, Juan Luis, Pellissier, Luc

Volltext

Unifying lower bounds for algebraic machines, semantically von Seiller, Thomas, Pellissier, Luc, Léchine, Ulysse

Volltext

A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic von Mazza, Damiano, Pellissier, Luc

Volltext

Inferential Semantics as Argumentative Dialogues von Catta, Davide, Pellissier, Luc, Retoré, Christian

Volltext

The exponential logic of sequentialization von Alcolei, Aurore, Pellissier, Luc, Saurin, Alexis

Volltext

Réductions et approximations linéaires von Pellissier, Luc

Volltext bestellen

Proof-Net as Graph, Taylor Expansion as Pullback von Guerrieri, Giulio, Pellissier, Luc, Tortora de Falco, Lorenzo

Volltext

Lower bounds for algebraic machines, semantically von Pellissier, Luc, Seiller, Thomas

Volltext bestellen

Unifying lower bounds for algebraic machines, semantically von Seiller, Thomas, Pellissier, Luc, Ulysse Léchine

Volltext

Lower bounds for algebraic machines, semantically von Pellissier, Luc, Seiller, Thomas

Volltext

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion von Guerrieri, Giulio, Pellissier, Luc, Lorenzo Tortora de Falco

Volltext

Unifying lower bounds for algebraic machines, semantically von Seiller, Thomas, Pellissier, Luc, Léchine, Ulysse

Volltext bestellen

Glueability of resource proof-structures: inverting the Taylor expansion (long version) von Guerrieri, Giulio, Pellissier, Luc, de Falco, Lorenzo Tortora

Volltext bestellen

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives von Guerrieri, Giulio, Pellissier, Luc, de Falco, Lorenzo Tortora

Volltext bestellen

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives von Guerrieri, Giulio, Pellissier, Luc, Lorenzo Tortora de Falco

Volltext

A 12‐month pilot study outcomes of vagus nerve stimulation in Crohn's disease von Sinniger, Valérie, Pellissier, Sonia, Fauvelle, Florence, Trocmé, Candice, Hoffmann, Dominique, Vercueil, Laurent, Cracowski, Jean‐Luc, David, Olivier, Bonaz, Bruno

Volltext

Spatial and evolutionary predictability of phytochemical diversity von Defossez, Emmanuel, Pitteloud, Camille, Descombes, Patrice, Glauser, Gaétan, Allard, Pierre-Marie, Walker, Tom W. N., Fernandez-Conradi, Pilar, Wolfender, Jean-Luc, Pellissier, Loïc, Rasmann, Sergio

Volltext