Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,065,172 papers from all fields of science
Search
Sign In
Create Free Account
Coinduction
Known as:
Co-data (computer science)
, Co-induction
, Coinductive
Expand
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Anamorphism
Andrew D. Gordon
Apomorphism
Bisimulation
Expand
Broader (5)
Category theory
Functional programming
Logic programming
Mathematical induction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A Coinductive Treatment of Infinitary Rewriting
J. Endrullis
,
H. Hansen
,
D. Hendriks
,
A. Polonsky
,
Alexandra Silva
arXiv.org
2013
Corpus ID: 6558972
We introduce a coinductive definition of infinitary term rewriting. The setup is surprisingly simple, and has in contrast to the…
Expand
2010
2010
Cyclic Proofs and Coinductive Principles
Gavin Mendel-Gleason
,
G. Hamilton
PAR@ITP
2010
Corpus ID: 14651398
It is possible to provide a proof for a coinductive type using a corecursive function coupled with a guardedness condition. The…
Expand
2008
2008
An Embedding of Cryptol in HOL-4
Guodong Li
,
Konrad Slind
2008
Corpus ID: 14463616
In this paper we explore a shallow embedding of Cryptol in HOL-4 by providing a way to import Cryptol programs into HOL-4 so as…
Expand
2007
2007
Proving Behavioral Commutativity with CIRC
D. Lucanu
Symposium on Symbolic and Numeric Algorithms for…
2007
Corpus ID: 18165313
CIRC is an automated circular coinductive prover implemented as an extension of Maude. In this paper we extend CIRC with the…
Expand
2006
2006
Small dose propofol or ketamine as an alternative to midazolam co-induction to propofol
U. Srivastava
,
N. Sharma
,
Aditya Kumar
,
S. Saxena
2006
Corpus ID: 79804237
2005
2005
Categorical and domain theoretic models of parametric polymorphism
Rasmus Ejlers Mgelberg
2005
Corpus ID: 117310317
Parametric polymorphism in functional programming languages with explicit polymorphism is the property that polymorphic programs…
Expand
1999
1999
Behavioral Coinductive Rewriting
Grigore Ro
1999
Corpus ID: 6286132
1997
1997
Subtyping and Inheritance for Categorical
E. Poll
1997
Corpus ID: 9112101
We extend Hagino's categorical datatypes with subtyping and a limited form of inheritance. The view of objects as coalgebras…
Expand
1996
1996
Combinator Shared Reduction and Innite Objects in Type Theory
C. Coquand
1996
Corpus ID: 117478738
We will present a syntactical proof of correctness and completeness of shared reduction. This work is an application of type…
Expand
1993
1993
A Case Study of Co-induction in Isabelle 1
Jacob Frost
1993
Corpus ID: 15926043
The consistency of the dynamic and static semantics for a small functional programming language was informally proved by R.Milner…
Expand