1. THE DEFINITION OF FUNCTIONS

Cached

Download Links

by Unknown Authors

Active Bibliography

*-calculus and Combinatory Logic – unknown authors - 2001
A Formal System for Defining the Syntax and Semantics of Computer Languages – A Formal System, Henry Francis Ledgard, Henry Francis Ledgard - 1969
1 APROL A Hybrid Language – Dennis Holmes, John E. Howland - 1993
2 Abstraction in Programming - working definition – John N. Shutt, John N. Shutt - 1999
38 Capability-based Financial Instruments – Mark S. Miller, Chip Morningstar, Bill Frantz - 2000
100 Lambda-Calculus Schemata – Michael J. Fischer - 1993
74 Continuation-Based Multiprocessing – Mitchell Wand - 1980
75 Scheme: An interpreter for extended lambda calculus – Gerald Jay Sussman, Guy L Steele Jr. - 1975
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
Summary – Um Ma Ry
The Continuum: Foundations and Applications – Giuseppe Longo, Uperieure S Ormale, N Ecole - 1997
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
Concurrency in the lambda-calculus: Higher-order Concurrent Constraint Programming (Extended Abstract) – Vijay A. Saraswat - 1991
Topology in Computer Science Problems – D. Spreen, H. Schulz (eds.), Edited D. Spreen, H. Schulz, Sent In Michael Bukatin - 2000
An Old Problem From Domain Theory Stated in Quasi-Uniform Terms – Philipp Sünderhauf - 2000
8 Nonclassical Techniques for Models of Computation – Keye Martin - 1999
1 Will Informatics be able to Justify the Construction of Large Computer Based Systems? – Wolfgang Goerigk, Hans Langmaack - 2001
1 Can Partial Indexings Be Totalized? – Dieter Spreen - 2001
8 Lazy Computation with Exact Real Numbers – Abbas Edalat, Peter John Potts, Philipp Sünderhauf, Peter John - 1997