Browse All Reviews
Theory Of Computation (F)
Mathematical Logic And Formal Languages (F.4)
Mathematical Logic (F.4.1)
> Lambda Calculus And Related Systems (F.4.1...)
All Media Types
1-10 of 129 Reviews about "
Lambda Calculus And Related Systems (F.4.1...)
Lambda calculus with types
Barendregt H., Dekkers W., Statman R., Cambridge University Press, New York, NY, 2013. 854 pp. Type: Book (978-0-521766-14-2)
A popular program on BBC Radio here in the UK is
Desert Island Discs
, where well-known personalities talk about their lives while choosing eight music tracks they consider significant. They also are asked to decide which book they would tak...
Dec 11 2013
Calculus of variations and optimal control theory: a concise introduction
Liberzon D., PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2011. 256 pp. Type: Book (978-0-691151-87-8)
Control systems are increasingly pervasive, and an increasing number of applications are being found for automated control. Naturally, one wishes for such controllers to be the best in some sense (for example, minimum cost, either financially or b...
Oct 12 2012
Topological and simplicial models of identity types
van den Berg B., Garner R. ACM Transactions on Computational Logic 13(1): 1-44, 2012. Type: Article
There are times when some new theory comes along that just seems “right,” regardless of whether one can immediately see applications. The link between homotopy theory and identity types in Martin-Löf type theory has convinced many...
May 23 2012
Proofs, tests and continuation passing style
Guerrini S., Masini A. ACM Transactions on Computational Logic 10(2): 1-34, 2009. Type: Article
Proof theories and testing techniques are used extensively in software development. This paper develops the
-calculus, which utilizes both....
May 20 2011
The arrow calculus
Lindley S., Wadler P., Yallop J. Journal of Functional Programming 20(1): 51-69, 2010. Type: Article
Arrows, a generalization of monads, have gained quite a lot of traction in functional programming, since their introduction by Hughes. Over time, a better understanding of the core features of arrows has been developed. Even though the original pr...
May 12 2011
Weyl’s predicative classical mathematics as a logic-enriched type theory
Adams R., Luo Z. ACM Transactions on Computational Logic 11(2): 1-29, 2010. Type: Article
Given proof-assistant builders’ renewed interest in foundational issues, revisiting Hermann Weyl’s classic text  is a worthy endeavor. Unfortunately, this paper greatly disappoints....
May 28 2010
A concurrent ML library in concurrent Haskell
Chaudhuri A. ACM SIGPLAN Notices 44(9): 269-280, 2009. Type: Article
Suppose we have a universe of potential actions, each guarded by a selector. Individual selectors can guard any number of actions. Actions have matching counter-actions. Each selector must pick one of its actions, discarding all others, and the ac...
Mar 24 2010
Pattern calculus: computing with functions and structures
Jay B., Springer Publishing Company, Incorporated, New York, NY, 2009. 213 pp. Type: Book (978-3-540891-84-0)
Programmers who are lucky enough to use a programming language that features properly integrated pattern matching greatly value the expressivity gain. But, as Jay shows us in this book, we have barely started to properly explore the design landsca...
Jan 26 2010
Synapses as stochastic concurrent systems
Bracciali A., Brunelli M., Cataldo E., Degano P. Theoretical Computer Science 408(1): 66-82, 2008. Type: Article
Computational modeling of biological networks--specifically, signaling pathways--is increasingly seen by computer scientists as an interesting application. In this paper, the approach is applied to a significantly more complex systemR...
May 13 2009
Lambda-calculus and combinators: an introduction
Hindley J., Seldin J., Cambridge University Press, New York, NY, 2008. 360 pp. Type: Book (9780521898850)
All of us are, in the course of lifelong learning, invariably dropped into the middle of an infinite ocean, where any point is the center. So, it may be quite unproductive for someone such as myself, a working stiff with a day job, to muse: “...
Mar 6 2009
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.