Skip to content
<title>Channels - Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Search for more channels:
Similar Items: Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Channel Options
View Record
Explore related channels
Quick Look
Adding Negation to Lambda Mu
Quick Look
Intersection Types for the lambda-mu Calculus
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
The Complexity of Enriched Mu-Calculi
Quick Look
Enriched MU-Calculi Module Checking
Quick Look
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
Quick Look
Asymptotically almost all lambda-terms are strongly normalizing
Quick Look
An expressive completeness theorem for coalgebraic modal mu-calculi
Quick Look
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
Quick Look
On $mu$-paracompact and $mu$-expandable spaces
Quick Look
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Quick Look
$aleph_1$ and the modal $mu$-calculus
Quick Look
Scalar and Vectorial mu-calculus with Atoms
Quick Look
An extended type system with lambda-typed lambda-expressions
Quick Look
Probabilistic modal {mu}-calculus with independent product
Quick Look
A correspondence between rooted planar maps and normal planar lambda terms
Quick Look
The Safe Lambda Calculus
Quick Look
Ellipses and Lambda Definability
Quick Look
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Quick Look
Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors
Quick Look
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Load more items
View Record
Prev
Explore related channels
Next
