LIBROS DEL AUTOR: pawel urzyczyn

1 resultados para LIBROS DEL AUTOR: pawel urzyczyn

pawel urzyczyn Eliminar filtro Quitar filtros
  • Typed Lambda Calculi and Applications
    Pawel Urzyczyn
    The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi....
    Disponible

    65,52 €