Skip to content
<title>Channels - On Constructor Rewrite Systems and the Lambda Calculus :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
On Constructor Rewrite Systems and the Lambda Calculus
Search for more channels:
Similar Items: On Constructor Rewrite Systems and the Lambda Calculus
Channel Options
View Record
Explore related channels
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Quick Look
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
Quick Look
The Safe Lambda Calculus
Quick Look
Ordered Models of 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
Consistency and Completeness of Rewriting in the Calculus of Constructions
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
Lineal: A linear-algebraic Lambda-calculus
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Quick Look
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Quick Look
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Quick Look
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Quick Look
A new coinductive confluence proof for infinitary lambda calculus
Quick Look
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Quick Look
Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
Quick Look
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
Quick Look
Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
Quick Look
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Quick Look
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
Load more items
View Record
Prev
Explore related channels
Next
