Søkt på: Bøker av Dekkers Wil
totalt 4 treff
Lambda Calculus with Types
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …
A Psychology of Human Dignity
Originally published in the Netherlands in 2011, this book is the result of a life's work devoted to developing the craft of psychotherapy in a way that leaves the therapist's and …
Lambda Calculus with Types
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …
Lambda Calculus with Types
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …