Zum Inhalt springen

  1. Kaszczyc, Antoine [VerfasserIn] ; Paris 13 [MitwirkendeR]; Fouqueré, Christophe [MitwirkendeR]

    Méthodes statiques pour la programmation fonctionnelle de simulateurs d'économies ; Static methods for the functional programming of economics simulators

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-18

  2. Pavaux, Alice [VerfasserIn] ; Sorbonne Paris Cité [MitwirkendeR]; Fouqueré, Christophe [MitwirkendeR]

    Inductive, Functional and Non-Linear Types in Ludics ; Types inductifs, fonctionnels et non-linéaires en ludique

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-12-01

  3. FOUQUERÉ, CHRISTOPHE; VAUZEILLES, JACQUELINE

    Linear Logic and Exceptions

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford University Press (OUP), 1994

    Erschienen in: Journal of Logic and Computation

  4. Coupey, Pascal; Fouqueré, Christophe; Loddo, Jean-Vincent

    Theoretical Aspects of Computing – ICTAC 2007: Tree Components Programming: An Application to XML

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2007

    Erschienen in: Theoretical Aspects of Computing – ICTAC 2007

  5. Abrusci, V. Michele; Fouqueré, Christophe; Vauzeilles, Jacqueline

    Logical Aspects of Computational Linguistics: Tree adjoining grammars in noncommutative linear logic : Extended abstract : Extended abstract

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1997

    Erschienen in: Logical Aspects of Computational Linguistics