Skip to content
<title>Channels - Solution of a Problem of Barendregt on Sensible lambda-Theories :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Solution of a Problem of Barendregt on Sensible lambda-Theories
Search for more channels:
Similar Items: Solution of a Problem of Barendregt on Sensible lambda-Theories
Channel Options
View Record
Explore related channels
Quick Look
An extended type system with lambda-typed lambda-expressions
Quick Look
The Safe Lambda Calculus
Quick Look
Ellipses and Lambda Definability
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Adding Negation to Lambda Mu
Quick Look
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Quick Look
Lineal: A linear-algebraic Lambda-calculus
Quick Look
Java & Lambda: a Featherweight Story
Quick Look
Sequential decision problems, dependent types and generic solutions
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Quick Look
On Constructor Rewrite Systems and the Lambda Calculus
Quick Look
Intersection Types for the lambda-mu Calculus
Quick Look
Addressing Machines as models of lambda-calculus
Quick Look
Reasonable Space for the ${lambda}$-Calculus, Logarithmically
Quick Look
Call-by-value Termination in the Untyped lambda-calculus
Quick Look
Light Logics and the Call-by-Value Lambda Calculus
Quick Look
RPO, Second-order Contexts, and Lambda-calculus
Quick Look
No solvable lambda-value term left behind
Quick Look
Superposition for Lambda-Free Higher-Order Logic
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
Problems in number theory from busy beaver competition
Quick Look
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Quick Look
A new coinductive confluence proof for infinitary lambda calculus
Load more items
View Record
Prev
Explore related channels
Next
