( en | de | ru )

 

Disambiguation of "Tasson, Christine"

Author of the publication

copydeleteadd this publication to your clipboard
Iterated Chromatic Subdivisions are Collapsible.

, , and . Appl. Categorical Struct., 23 (6): 777-818 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christine Eulert

Funktionelle Relevanz von Chemokinen im Metastasierungsprozess von Kopf-Hals-Tumoren. Uni Düsseldorf, (2009)

Christine Schnellhammer

Funktionelle Analyse des Matrixproteins des Tollwutvirus. Uni München, (2009)

Christine Simon

Vollblutaggregation beim Hund: Vergleich der Methode nach Born mit einer errechneten Aggregation nach Thrombozytenzählung mittels konventioneller Hämatologiesysteme. Uni Gießen, (2009)

Christine Gerngroß

Gedächtnisleistungen in Assoziation mit Polymorphismen des 5-HT2A-Rezeptorgens. Uni München, (2009)

Christine Michel

Malaise dans l'érotisme: Darstellungen sexueller Praktiken und Formen in der französischsprachigen Literatur der Gegenwart. Uni Marburg, (2008)
 

Other publications of authors with the same name

Transport of finiteness structures and applications., and . Math. Struct. Comput. Sci., 28 (7): 1061-1096 (2018)From Geometric Semantics to Asynchronous Computability., , and . DISC, volume 9363 of Lecture Notes in Computer Science, page 436-451. Springer, (2015)Mackey-complete spaces and power series - A topological model of Differential Linear Logic., and . CoRR, (2015)An Explicit Formula for the Free Exponential Modality of Linear Logic., , and . ICALP (2), volume 5556 of Lecture Notes in Computer Science, page 247-260. Springer, (2009)Nominal Techniques in Isabelle/HOL., and . CADE, volume 3632 of Lecture Notes in Computer Science, page 38-53. Springer, (2005)Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms., , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 408-423. Springer, (2016)The Free Exponential Modality of Probabilistic Coherence Spaces., , , and . FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 20-35. (2017)Full Abstraction for Probabilistic PCF., , and . J. ACM, 65 (4): 23:1-23:44 (2018)Geometric and combinatorial views on asynchronous computability., , and . Distributed Comput., 31 (4): 289-316 (2018)PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 317-334. Springer, (2019)