E whakaatuhia ana ngā hua e 1 - 3 o te 3 mō te rapu 'Barendregt, H. P. (Hendrik Pieter)' Whakamahine hua
  1. 1
    ā- Barendregt, H. P. (Hendrik Pieter)
    I whakaputaina 1984
    Pukapuka
    Tiakina ki te rārangi
    I tiakina ki:
    The Lambda calculus : its syntax and semantics /
  2. 2
    ā- Barendregt, H. P. (Hendrik Pieter)
    I whakaputaina 1981
    Pukapuka
    Tiakina ki te rārangi
    I tiakina ki:
    The Lambda calculus : its syntax and semantics /
  3. 3
    I whakaputaina 1994
    Ētahi atu kaituhi “...Barendregt, H. P. (Hendrik Pieter)...”
    Pukapuka
    Tiakina ki te rārangi
    I tiakina ki:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Ngā utauta rapu: