Zum Inhalt springen

  4. Cousineau, Guy [Verfasser:in] ; Curien, Pierre-Louis [Sonstige Person, Familie und Körperschaft]; Robinet, Bernard [Sonstige Person, Familie und Körperschaft]

    Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1986

    Erschienen in: Lecture notes in computer science ; 242

  8. Doumane, Amina [Verfasser:in] ; Sorbonne Paris Cité [Mitwirkende:r]; Curien, Pierre-Louis [Mitwirkende:r]; Saurin, Alexis [Mitwirkende:r]; Baelde, David [Mitwirkende:r]

    On the infinitary proof theory of logics with fixed points ; Théorie de la preuve infinitaire pour les logiques à points fixes

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    theses.fr, 2017-06-27

  9. Pitt, David H. [Verfasser:in] ; Abramsky, Samson [Sonstige Person, Familie und Körperschaft]; Curien, Pierre-Louis [Sonstige Person, Familie und Körperschaft]; Pitts, Andrew M. [Sonstige Person, Familie und Körperschaft]; Poigné, Axel [Sonstige Person, Familie und Körperschaft]; Rydeheard, David E. [Sonstige Person, Familie und Körperschaft]

    Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 530

  10. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Curien, Pierre-Louis [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]

    Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5608

  11. Curien, Pierre-Louis

    Preface

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Elsevier BV, 2011

    Erschienen in: Theoretical Computer Science, 412 (2011) 20, Seite 1853-1859

  16. Curien, Pierre-Louis

    Preface to Locus Solum

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 2001

    Erschienen in: Mathematical Structures in Computer Science, 11 (2001) 3, Seite 299-300

  17. Curien, Pierre-Louis

    Sur l'η-expansion infinie

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cellule MathDoc/Centre Mersenne, 2002

    Erschienen in: Comptes Rendus. Mathématique, 334 (2002) 1, Seite 77-82

  18. CURIEN, PIERRE-LOUIS

    Abstract Böhm trees

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1998

    Erschienen in: Mathematical Structures in Computer Science, 8 (1998) 6, Seite 559-591