Works by H. P. Barendregt

( view other items matching `H. P. Barendregt`, view all matches )
6 found
Order:
  1.  31
    The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  2.  40
    Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  3. Typed Lambda calculi. S. Abramsky et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
     
    Export citation  
     
    Bookmark   6 citations  
  4.  8
    Dirk Van Dalen: Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
    Direct download  
     
    Export citation  
     
    Bookmark  
  5. On the interpretation of terms without a normal form.H. P. Barendregt - 1971 - Utrecht,: Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6). Edited by H. P. Barendregt.
     
    Export citation  
     
    Bookmark  
  6. The incompleteness theorems.H. P. Barendregt - 1976 - Utrecht: Rijksuniversiteit Utrecht, Mathematisch Instituut.
     
    Export citation  
     
    Bookmark   1 citation