Works by H. P. Barendregt

( view other items matching `H. P. Barendregt`, view all matches )
6 found
Order:
  1.  16
    The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  2.  32
    Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press.
    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   5 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. Dirk van Dalen Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
     
    Export citation  
     
    Bookmark  
  5. On the Interpretation of Terms Without a Normal Form.H. P. Barendregt - 1971 - Utrecht, Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6).
     
    Export citation  
     
    Bookmark  
  6. The Incompleteness Theorems.H. P. Barendregt - 1976 - Rijksuniversiteit Utrecht, Mathematisch Instituut.
     
    Export citation  
     
    Bookmark   1 citation  
Home | New books and articles | Bibliographies | Philosophy journals | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-9c67bdf98-7wpfk N