Skip to content
<title>Channels - Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Search for more channels:
Similar Items: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Channel Options
View Record
Explore related channels
Quick Look
Bisimulations for Delimited-Control Operators
Quick Look
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Quick Look
Lazy Evaluation and Delimited Control
Quick Look
Games for Bisimulations and Abstraction
Quick Look
Relating Apartness and Bisimulation
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Nash Equilibrium and Bisimulation Invariance
Quick Look
Lowerbounds for Bisimulation by Partition Refinement
Quick Look
Prompting is not Enough: Exploring Knowledge Integration and Controllable Generation on Large Language Models
Quick Look
Evolutionary-Algorithm-Based Automatic Prompt Generation for Vision-Language Model Evaluation
Quick Look
Cost Preserving Bisimulations for Probabilistic Automata
Quick Look
The Complexity of Bisimulation and Simulation on Finite Systems
Quick Look
TIPS: A Prompt Engineering Framework for Code Classification and Generation on Resource-Constrained Systems
Quick Look
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Quick Look
Aczel-Mendler Bisimulations in a Regular Category
Quick Look
Positive Hennessy-Milner Logic for Branching Bisimulation
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
Quick Look
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Quick Look
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Quick Look
A Strong Bisimulation for a Classical Term Calculus
Load more items
View Record
Prev
Explore related channels
Next
