3 results Refine Results
  1. 1
    Book
    Save to List
    Saved in:
    The Lambda calculus : its syntax and semantics /
  2. 2
    Book
    Save to List
    Saved in:
    The Lambda calculus : its syntax and semantics /
  3. 3
    Published 1994
    Other Authors “...Barendregt, H. P. (Hendrik Pieter)...”
    Book
    Save to List
    Saved in:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

Search Tools: