Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,851,806 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.
2015
2015
: Midazolam, Ketamine, Propofol, Co-induction, Auto-co-induction.
J. Mallikarjuna
,
K. Purneema
2015
Corpus ID: 70523467
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
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
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
Midazolam co-induction and laryngeal mask insertion.
Bell Mh
1997
Corpus ID: 76841412
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
1996
1996
Safety assurance in interlocking design
M. Morley
CST
1996
Corpus ID: 108483326
This thesis takes a pedagogical stance in demonstrating how results from theoretical computer science may be applied to yield…
Expand
1993
1993
A Case Study of Co-induction in Isabelle 1
J. 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