Skip to contents

  1. Cousineau, Guy [Other] ; Laboratoire d'informatique théorique et programmation

    Combinators and functional programming languages : thirteenth Spring School of the LITP, Val d'Ajol, France, May 6 - 10, 1985 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1986 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 24200

  2. Böhm, C. [Author]

    Lambda-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1975

    Published in: Lecture notes in computer science ; 37

  3. Society for Industrial and Applied Mathematics

    SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics

    Philadelphia, Pa.: SIAM, 1972- / 1.1972 -