Skip to content
<title>Channels - On the Relation of Interaction Semantics to Continuations and Defunctionalization :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Search for more channels:
Similar Items: On the Relation of Interaction Semantics to Continuations and Defunctionalization
Channel Options
View Record
Explore related channels
Quick Look
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
Quick Look
Globally Governed Session Semantics
Quick Look
Explicit fairness in testing semantics
Quick Look
Sampled Semantics of Timed Automata
Quick Look
Semantics and Algorithms for Parametric Monitoring
Quick Look
Bialgebraic Semantics for Logic Programming
Quick Look
Initial Semantics for Reduction Rules
Quick Look
Presentable signatures and initial semantics
Quick Look
Quantitative Semantics for Jumping Automata
Quick Look
The principle of pointfree continuity
Quick Look
Continuous Regular Functions
Quick Look
Continuous Positional Payoffs
Quick Look
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Quick Look
Generic Trace Semantics via Coinduction
Quick Look
Game semantics for first-order logic
Quick Look
Semantics of Typed Lambda-Calculus with Constructors
Quick Look
Semantics of Higher-Order Recursion Schemes
Quick Look
On the characterization of models of H*: The semantical aspect
Quick Look
A Denotational Semantics for SPARC TSO
Quick Look
Quantitative Automata under Probabilistic Semantics
Quick Look
A categorical semantics for causal structure
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
Quick Look
Disentangling Parallelism and Interference in Game Semantics
Quick Look
Strategies as Resource Terms, and their Categorical Semantics
Load more items
View Record
Prev
Explore related channels
Next
