Näytetään 1 - 3 yhteensä 3 tuloksesta haulle 'Barendregt, H. P. (Hendrik Pieter)' Tarkenna hakua
  1. 1
    Tekijä Barendregt, H. P. (Hendrik Pieter)
    Julkaistu 1984
    Kirja
    Lisää suosikkeihin
    Tallennettuna:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Tekijä Barendregt, H. P. (Hendrik Pieter)
    Julkaistu 1981
    Kirja
    Lisää suosikkeihin
    Tallennettuna:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Julkaistu 1994
    Muut tekijät “...Barendregt, H. P. (Hendrik Pieter)...”
    Kirja
    Lisää suosikkeihin
    Tallennettuna:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Työkalut: