登入選單

返回Google圖書搜尋

Using Typed Lambda Calculus to Implement Formal Systems on a Machine

University of Edinburgh. Department of Computer Science. Laboratory for Foundations of Computer ScienceArnon AvronFurio A. HonsellIan A. Mason

出版	Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1987
URL	http://books.google.com.hk/books?id=v_9LGwAACAAJ&hl=&source=gbs_api