The Primitive Proof Theory of the lambda-Calculus
Short Description
The Primitive Proof Theory. of the ?-Calculus. Rene Vestergaard. School of Mathematical and Computer Sciences,. Heriot-Watt University, Edinburgh, Scotland …
Website: www.jaist.ac.jp | Filesize: 1472kb
Read more
Pure Object-Oriented Programming in Smalltalk
Short Description
www.lukas-renggli.ch. Smalltalk. Pure Object Oriented Programming in … “This is a method that illustrates every part of the Smalltalk method. syntax. …
Website: www.lukas-renggli.ch | Filesize: 200kb
Read more