Skip to content<title>Channels - Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers :: FRELIP Discovery
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Similar Items: Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
