Skip to content
<title>Channels - Typing weak MSOL properties :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Typing weak MSOL properties
Search for more channels:
Similar Items: Typing weak MSOL properties
Channel Options
View Record
Explore related channels
Quick Look
Weak omega-categories from intensional type theory
Quick Look
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Quick Look
Weak Cat-Operads
Quick Look
Weak Alternating Timed Automata
Quick Look
Weak topologies for Linear Logic
Quick Look
Weak upper topologies and duality for cones
Quick Look
Convexity via Weak Distributive Laws
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Quick Look
Undecidability of a weak version of MSO+U
Quick Look
Equivalence checking for weak bi-Kleene algebra
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
A Behavioral Theory for Distributed Systems with Weak Recovery
Quick Look
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Quick Look
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Quick Look
Machine Space I: Weak exponentials and quantification over compact spaces
Quick Look
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Quick Look
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Quick Look
Normalisation by Evaluation for Type Theory, in Type Theory
Quick Look
Quotients, inductive types, and quotient inductive types
Quick Look
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Quick Look
An extended type system with lambda-typed lambda-expressions
Quick Look
Honesty by Typing
Quick Look
Type Reconstruction for the Linear pi-Calculus with Composite Regular Types
Quick Look
Timed Session Types
Load more items
View Record
Prev
Explore related channels
Next
