Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Barendregt, H. P. (Hendrik Pieter)' Upřesnit hledání
  1. 1
    Kniha
    Přidat do oblíbených
    Uloženo v:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Kniha
    Přidat do oblíbených
    Uloženo v:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Vydáno 1994
    Další autoři “...Barendregt, H. P. (Hendrik Pieter)...”
    Kniha
    Přidat do oblíbených
    Uloženo v:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Vyhledávací nástroje: