- 授权协议: 未知
- 开发语言: C/C++
- 操作系统: Windows
- 软件首页: http://wingtk.sourceforge.net/
软件介绍
WinGTK 是一个开发包，用来在 Win32 平台下使用 GTK+ 开发图形界面应用程序，WinGTK 还包含一个 wGLADE ，这是一个 Glade 在 Windows 下的实现。
The Lambda Calculus, Its Syntax and Semantics . Revised Edition
H.P. Barendregt / North Holland / 1985-11-15 / USD 133.00
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical impr......一起来看看 《The Lambda Calculus, Its Syntax and Semantics . Revised Edition》 这本书的介绍吧!
