Start Over
You searched for: subject "Lambda calculus"

Search Results

Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location
Access Content Online
Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location
Access Content Online
Cover image for Typed lambda calculi and applications

Typed lambda calculi and applications

Location
Access Content Online
Cover image for Derivation and computation

Derivation and computation

Joyner Library - General Stacks
Call Number: QA9.54 .S55 2000
Cover image for Two-level functional languages

Two-level functional languages

Joyner Library - General Stacks
Call Number: QA9.5.N54 1992
Cover image for Domains and lambda-calculi

Domains and lambda-calculi

Joyner Library - General Stacks
Call Number: QA9.5 .A43 1998
Cover image for Lambda-calculus, combinators, and functional programming

Lambda-calculus, combinators, and functional programming

Joyner Library - General Stacks
Call Number: QA9.5.R48 1988
Cover image for Proofs and types

Proofs and types

Joyner Library - General Stacks
Call Number: QA9.54.G572X 1989
Cover image for Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism

Location
Access Content Online
Cover image for Logic Colloquium '82

Logic Colloquium '82

Joyner Library - General Stacks
Call Number: QA9.7 .L64 1982