Showing 1 - 3 results of 3 for search 'Barendregt, H. P. (Hendrik Pieter)' परिणाम को परिष्कृत करें
  1. 1
    द्वारा Barendregt, H. P. (Hendrik Pieter)
    प्रकाशित 1984
    पुस्तक
    सूची में सहेजें
    में बचाया:
    The Lambda calculus : its syntax and semantics /
  2. 2
    द्वारा Barendregt, H. P. (Hendrik Pieter)
    प्रकाशित 1981
    पुस्तक
    सूची में सहेजें
    में बचाया:
    The Lambda calculus : its syntax and semantics /
  3. 3
    प्रकाशित 1994
    अन्य लेखक “...Barendregt, H. P. (Hendrik Pieter)...”
    पुस्तक
    सूची में सहेजें
    में बचाया:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

खोज साधन: