Mostrando 1 - 3 Resultados de 3 Para Buscar 'Barendregt, H. P. (Hendrik Pieter)' Limitar resultados
  1. 1
    Libro
    Agregar a favoritos
    Guardado en:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Libro
    Agregar a favoritos
    Guardado en:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Publicado 1994
    Otros Autores “...Barendregt, H. P. (Hendrik Pieter)...”
    Libro
    Agregar a favoritos
    Guardado en:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Herramientas de búsqueda: