1 search result for "author:"Loïc Henry-Gréard""

Showing 1 - 1
  1. coq-param-pi

    No documentation

    Coding of a typed monadic pi-calculus using parameters for free names
    keyword: Pi-Calculus category: Computer Science/Lambda Calculi date: 1998-09-30
    Loïc Henry-Gréard
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019