Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Combinatory logic"”.
-
A modular programming language for engineering design
… functional models like the lambda calculus and combinatory logic. This model leads naturally to a new type of programming language that combines the key strengths of imperative and functional languages for development and analysis of programs. These strengths have particular relevance for rapid …
-
THE THEORY OF COMBINATORY DIFFERENTIATION AND LOCALITY IN QUANTUM CHEMISTRY
… appears promising. Chapter one is the theory of combinatory differentiation, which practically brings symbolic differentiation up to speed with algorithmic differentiation and enables the analytic automation of the backpropagation and differential tensor calculus. At the center of this model of …