3 results Limitar resultados
  1. 1
    Libro
    Engadir a favoritos
    Gardado en:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Libro
    Engadir a favoritos
    Gardado en:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Publicado 1994
    Outros autores “...Barendregt, H. P. (Hendrik Pieter)...”
    Libro
    Engadir a favoritos
    Gardado en:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Ferramentas de procura: