Skip to content
<title>Channels - No solvable lambda-value term left behind :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
No solvable lambda-value term left behind
Search for more channels:
Similar Items: No solvable lambda-value term left behind
Channel Options
View Record
Explore related channels
Quick Look
Solvability = Typability + Inhabitation
Quick Look
The One Left Behind
Quick Look
Call-by-value Termination in the Untyped lambda-calculus
Quick Look
Light Logics and the Call-by-Value Lambda Calculus
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
Asymptotically almost all lambda-terms are strongly normalizing
Quick Look
Discriminating Lambda-Terms Using Clocked Boehm Trees
Quick Look
On the Taylor expansion of $lambda$-terms and the groupoid structure of their rigid approximants
Quick Look
Simply typed convertibility is TOWER-complete even for safe lambda-terms
Quick Look
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Quick Look
No Tile Left Behind: Multiprogramming for Surface-Code Architectures
Quick Look
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Quick Look
A correspondence between rooted planar maps and normal planar lambda terms
Quick Look
Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
Quick Look
An extended type system with lambda-typed lambda-expressions
Quick Look
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
Quick Look
Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
Quick Look
The Safe Lambda Calculus
Quick Look
Ellipses and Lambda Definability
Quick Look
Retraction: Boosting happiness in left-behind children: Unveiling the power of physical activity through cognitive reappraisal and psychological resilience
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
Load more items
View Record
Prev
Explore related channels
Next
