LIBROS DEL AUTOR: jean yves girard

2 resultados para LIBROS DEL AUTOR: jean yves girard

jean yves girard Eliminar filtro Quitar filtros
  • Typed Lambda Calculi and Applications
    Jean-Yves Girard
    Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA’99,heldinL’Aquila,on7-9 April1999. It contains25contributions. Fiftywere submitted, their overallqualitywas high, and selection was di?cult. The Programme Committee is very grateful toeveryonewhosubmittedapaper. Italsocontainstwopapersin...
    Disponible

    65,71 €

  • Advances in Linear Logic
    Jean-Yves Girard
    ...
    Disponible

    99,25 €