Lambda calculus
Top View
- Lambda Logic
- From Continuation Passing Style to Krivine's Abstract Machine
- Lecture Notes on the Lambda Calculus
- Lecture 3: Typed Lambda Calculus and Curry-Howard
- Lambda Calculus Lecture 7 Tuesday, February 13, 2018 1 Syntax
- The Non-Associative Lambek Calculus Logic, Linguistic and Computational Properties
- Evaluation Contexts First-Class Continuations Lambda Interpreters
- Lambda-Calculus : from Logic to Computation
- Proofs, Computability, Undecidability, Complexity, and the Lambda Calculus an Introduction
- Lambda Calculus Λ →, Λ2, Λω, Λω, Λp, Λpω, and Λpω
- Computational Lambda-Calculus and Monads
- The Essence of Functional Programming
- A Focus on Call-By-Need Hugo Herbelin, Étienne Miquey
- Lambda Logic
- Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems
- A Symmetric Lambda Calculus for Classical Program Extraction
- Stochastic Lambda Calculus and Monads of Probability Distributions
- Evaluation Strategies for Monadic Computations