Skip to content
<title>Channels - Presentable signatures and initial semantics :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Presentable signatures and initial semantics
Search for more channels:
Similar Items: Presentable signatures and initial semantics
Channel Options
View Record
Explore related channels
Quick Look
Initial Semantics for Reduction Rules
Quick Look
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Quick Look
A Recommendation System Based on Fuzzy Signature
Quick Look
Signatures and Induction Principles for Higher Inductive-Inductive Types
Quick Look
Presenting Distributive Laws
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Algebraic Presentations of Type Dependency
Quick Look
Partial integrity, authenticity and belongingness using modification-tolerant signature schemes
Quick Look
Explicit fairness in testing semantics
Quick Look
Sampled Semantics of Timed Automata
Quick Look
Semantics and Algorithms for Parametric Monitoring
Quick Look
Globally Governed Session Semantics
Quick Look
Bialgebraic Semantics for Logic Programming
Quick Look
Quantitative Semantics for Jumping Automata
Quick Look
Extended Initiality for Typed Abstract Syntax
Quick Look
Coalgebraic Semantics for Probabilistic Logic Programming
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 Relation of Interaction Semantics to Continuations and Defunctionalization
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
Load more items
View Record
Prev
Explore related channels
Next
