Skip to content
<title>Channels - A calculus for costed computations :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A calculus for costed computations
Search for more channels:
Similar Items: A calculus for costed computations
Channel Options
View Record
Explore related channels
Quick Look
The Computational Complexity of Propositional Cirquent Calculus
Quick Look
A Concurrent Pattern Calculus
Quick Look
The Safe Lambda Calculus
Quick Look
Completeness of the ZX-Calculus
Quick Look
The Many-Worlds Calculus
Quick Look
A strong call-by-need calculus
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Lineal: A linear-algebraic Lambda-calculus
Quick Look
A diagrammatic calculus of fermionic quantum circuits
Quick Look
Towards a Minimal Stabilizer ZX-calculus
Quick Look
A Calculus for Scoped Effects & Handlers
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Quick Look
EXPTIME Tableaux for the Coalgebraic mu-Calculus
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
On Constructor Rewrite Systems and the Lambda 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
An implicit function theorem for the stream calculus
Quick Look
Reasonable Space for the ${lambda}$-Calculus, Logarithmically
Load more items
View Record
Prev
Explore related channels
Next
