Skip to content
<title>Channels - Ellipses and Lambda Definability :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Ellipses and Lambda Definability
Search for more channels:
Similar Items: Ellipses and Lambda Definability
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
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
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
Lineal: A linear-algebraic Lambda-calculus
Quick Look
Java & Lambda: a Featherweight Story
Quick Look
Superposition for Lambda-Free Higher-Order Logic
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
Definable isomorphism problem
Quick Look
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Quick Look
Solution of a Problem of Barendregt on Sensible lambda-Theories
Quick Look
Lambda-RBAC: Programming with Role-Based Access Control
Quick Look
Asymptotically almost all lambda-terms are strongly normalizing
Load more items
View Record
Prev
Explore related channels
Next
