Skip to content
<title>Channels - Coaxioms: flexible coinductive definitions by inference systems :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Coaxioms: flexible coinductive definitions by inference systems
Search for more channels:
Similar Items: Coaxioms: flexible coinductive definitions by inference systems
Channel Options
View Record
Explore related channels
Quick Look
Applications of Metric Coinduction
Quick Look
Foundations of regular coinduction
Quick Look
An operational interpretation of coinductive types
Quick Look
Indexed Induction and Coinduction, Fibrationally
Quick Look
Formal Languages, Formally and Coinductively
Quick Look
Unguarded Recursion on Coinductive Resumptions
Quick Look
Expressive Logics for Coinductive Predicates
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
Building flexible databases by using web services for computer-aided diagnosis of cardiomyopathies: from conceptual definition to usability evaluation
Quick Look
General Recursion via Coinductive Types
Quick Look
Generic Trace Semantics via Coinduction
Quick Look
Coinductive Proof Principles for Stochastic Processes
Quick Look
Totality for Mixed Inductive and Coinductive Types
Quick Look
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
Bootstrapping Inductive and Coinductive Types in HasCASL
Quick Look
Global semantic typing for inductive and coinductive computing
Quick Look
Modular coinduction up-to for higher-order languages via first-order transition systems
Quick Look
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Quick Look
The Size-Change Principle for Mixed Inductive and Coinductive types
Quick Look
Positive Inductive-Recursive Definitions
Quick Look
An Axiomatic Definition of Hierarchical Clustering
Quick Look
Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
Quick Look
A new coinductive confluence proof for infinitary lambda calculus
Load more items
View Record
Prev
Explore related channels
Next
