Čájehuvvojit 1 - 3 oktiibuot 3 bohtosis ohcui Barendregt, H. P. (Hendrik Pieter)' Aiddostahte ozu
  1. 1
    Dahkki Barendregt, H. P. (Hendrik Pieter)
    Almmustuhtton 1984
    Girji
    Lasit oiddohiidda
    Furkejuvvon:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Dahkki Barendregt, H. P. (Hendrik Pieter)
    Almmustuhtton 1981
    Girji
    Lasit oiddohiidda
    Furkejuvvon:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Almmustuhtton 1994
    Eará dahkkit “...Barendregt, H. P. (Hendrik Pieter)...”
    Girji
    Lasit oiddohiidda
    Furkejuvvon:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Ohcanreaiddut: