Skip to content
<title>Channels - The Many-Worlds Calculus :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
The Many-Worlds Calculus
Search for more channels:
Similar Items: The Many-Worlds Calculus
Channel Options
View Record
Explore related channels
Quick Look
Encoding many-valued logic in $lambda$-calculus
Quick Look
How Many Public Computers in the Library?
Quick Look
Positional Determinacy of Games with Infinitely Many Priorities
Quick Look
The Safe Lambda Calculus
Quick Look
Completeness of the ZX-Calculus
Quick Look
Relation lifting, with an application to the many-valued cover modality
Quick Look
A calculus for costed computations
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
A Concurrent Pattern Calculus
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties
Quick Look
Many-valued coalgebraic logic over semi-primal varieties
Quick Look
Resource Usage Analysis for the Pi-Calculus
Quick Look
Algebraic Pattern Matching in Join Calculus
Quick Look
Consistency and Completeness of Rewriting in the Calculus of Constructions
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Quick Look
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Quick Look
On Constructor Rewrite Systems and the Lambda Calculus
Quick Look
The Computational Complexity of Propositional Cirquent Calculus
Quick Look
Intersection Types for the lambda-mu Calculus
Quick Look
$aleph_1$ and the modal $mu$-calculus
Quick Look
Scalar and Vectorial mu-calculus with Atoms
Quick Look
Addressing Machines as models of lambda-calculus
Quick Look
A strong call-by-need calculus
Load more items
View Record
Prev
Explore related channels
Next
