LIBROS DEL AUTOR: nikos btroullinos

1 resultados para LIBROS DEL AUTOR: nikos btroullinos

nikos btroullinos Eliminar filtro Quitar filtros
  • Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction
    Nikos B. Troullinos / Nikos BTroullinos
    Available in Paperback Available in eBook editions (PDF format)Institution:Syracuse University (Syracuse, NY, USA)Advisor(s):Prof. Klaus J. BerklingDegree:Ph.D. in Computer and Information ScienceYear:1993Book Information:248 pagesPublisher:Dissertation.comISBN-10:1612337570ISBN-13:9781612337579View First 25 pages:(free download)AbstractThe operational aspects of Lambda Calcu...
    Disponible

    36,73 €