Theoretical computer science



Centre of Excellence for Research in Computational Intelligence and Applications Birmingham, UK
        Cercia - The Centre of Excellence for Research in Computational Intelligence and Applications

ALife Project in Sussex cogs users alife page development
        Morphogenesis and Development

C# Anonymous methods library
        

Martin Fowler's Bliki: Closure closure
        MF Bliki: Closure

Syntactic Closures (A 1988 paper, by Alan Bawden and Jonathan Rees, that discusses a special use of closures in LISP syntax macros)
        

Sleep Closures sleep hick
        Sleep - Java Scripting Language

PHP Closures
        steike.com » Php Closures

Python closures archives
        Ivan: Closures in Python (part 1)

Javascript Closures jibbering closures
        Javascript Closures

Uses of Interface jaxlib.closure.Function docs closure class use function
        

Description from the GObject Reference Manual developer gnome doc closures
        Closures

Closures by the Spirit library of Boost boost libs spirit doc closures
        Closures

Description from the VisualWorks wiki closures
        VisualWorks: Closures

What's a closure? (Perl FAQ) pod
        What's a closure?

Description from the Portland Pattern Repository
        What Is Closure

The Original "Lambda Papers" : A classic series of papers by Guy Steele and Gerald Sussman discussing, among other things, the versatility of closures in the context of Scheme (where they appear as lambda expressions).
        The Original 'Lambda Papers' by Guy Steele and Gerald Sussman

Wired: God is the Machine wired wired archive
        

The Oxford Advanced Seminar on Informatic Structures lab
        OASIS - Introduction to OASIS

Algorithmic Theory of Everything, 1997-2002 ".
        Theory of Everything - Algorithmic Theory of Everything - Computer Universe - Computable Universe - All Computable Universes - Anthropic Principle - all possible universes - Cosmos as a computer - measure on universes

Digital physics ". Mountain Math Software.
        Digital physics

Digital Physics ". 1998.
        Digital Physics

European Association for Theoretical Computer Science website
        European Association for Theoretical Computer Science

Lecture notes from a course on expanders math
        Expander graphs and their applications

Introductory paper by Michael Nielsen people nielsen archive notes
        

Semantics with Applications
        Semantics with Applications

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction users lambda
        To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

A Tutorial Introduction to the Lambda Calculus ( PDF)
        

''The Lambda Calculus and A++'' lambda bound book
        Lambda Calculus and A++: Basic Concepts

Some executable λ-calculus examples lambda examples
        Lambda Calculus Examples

SIGACT directory of additional theory links other
        Useful Theory Pages

Next page 

This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles : Biologically-inspired computing , Closure (computer science) , Digital physics , EATCS , Expander graph , Formal semantics of programming languages , Lambda calculus , Theoretical computer science , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from the Froola link list about "Theoretical computer science".
MAIN PAGE MAIN INDEX CONTACT US