Skip to content
<title>Channels - Java & Lambda: a Featherweight Story :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Java & Lambda: a Featherweight Story
Search for more channels:
Similar Items: Java & Lambda: a Featherweight Story
Channel Options
View Record
Explore related channels
Quick Look
Featherweight VeriFast
Quick Look
Permission-Based Separation Logic for Multithreaded Java Programs
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
Intersection Types for the lambda-mu Calculus
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
Addressing Machines as models of lambda-calculus
Quick Look
Reasonable Space for the ${lambda}$-Calculus, Logarithmically
Quick Look
Solution of a Problem of Barendregt on Sensible lambda-Theories
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
Regional Stability and Dynamics of Rice Production in West Java through Spatiotemporal Clustering
Quick Look
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Load more items
View Record
Prev
Explore related channels
Next
