Skip to content
Channels - Adding Negation to Lambda Mu :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Adding Negation to Lambda Mu
Search for more channels:
Similar Items: Adding Negation to Lambda Mu
Channel Options
View Record
Explore related channels
Quick Look
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Quick Look
Intersection Types for the lambda-mu Calculus
Quick Look
The Complexity of Enriched Mu-Calculi
Quick Look
Enriched MU-Calculi Module Checking
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
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
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
An expressive completeness theorem for coalgebraic modal mu-calculi
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Quick Look
Complexity of Model Checking Recursion Schemes for Fragments of the Modal 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
Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
Quick Look
Call-by-value Termination in the Untyped lambda-calculus
Load more items
View Record
Prev
Explore related channels
Next