Showing 1 - 2 results of 2 for search 'Christophe Raffalli', query time: 0.02s Refine Results
  1. 1
    Abstract Representation of Binders in OCaml using the Bindlib Library

    Abstract Representation of Binders in OCaml using the Bindlib Library by Rodolphe Lepigre, Christophe Raffalli

    Published 2018-07-01
    Get full text
    Article
  2. 2
    Asymptotically almost all \lambda-terms are strongly normalizing

    Asymptotically almost all \lambda-terms are strongly normalizing by René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc

    Published 2013-02-01
    Get full text
    Article

Search Tools: