3 results Refine Results
  1. 1
    图书
    加到收藏夹
    Saved in:
    The Lambda calculus : its syntax and semantics /
  2. 2
    图书
    加到收藏夹
    Saved in:
    The Lambda calculus : its syntax and semantics /
  3. 3
    出版 1994
    其他作者 “...Barendregt, H. P. (Hendrik Pieter)...”
    图书
    加到收藏夹
    Saved in:
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /

检索工具: