calculus
Internet Archive: Advanced Placement Calculus AB
This calculus course covers functions and graphs; limits and continuity; derivatives; applications of derivatives; antiderivatives & definite integrals; applications of integrals; and sequences, s
>30 days ago by a1mega, 1 User, more info saveY Combinator
In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory.
>30 days ago by qubit, 1 User, more info saveY Combinator
In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory.
>30 days ago by qubit, 1 User, more info saveJoy Programming Language
a purely functional programming language based based on composition of functions rather than lambda calculus.
>30 days ago by qubit, 1 User, more info saveCCCs and the λ-calculus
To kick off the discussion, let’s start with a sketchy and highly oversimplified history of CCCs and the λ-calculus.
>30 days ago by qubit, 1 User, more info saveTo Dissect a Mockingbird
The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introd
>30 days ago by qubit, 1 User, more info saveGreat resource to find Austin Tutors
AOL video on a new site that lets you find tutors from the University of Texas. Great resource for parents and students who need a little extra help!
>30 days ago by krypton1, 1 User, more info save