Coinduction All the Way Up

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 2016

Pages: 307-316

Affiliations

[1 ]Université de Lyon, CNRS, ENS de Lyon, UCB Lyon, LIP

Article

DOI: 10.1145/2933575.2934564

SO-VID: 95cef27f-fb89-4e9d-bf9f-6868fab77b9c

License:

http://www.acm.org/publications/policies/copyright_policy#Background

Conference name: the 31st Annual ACM/IEEE Symposium

Conference acronym: LICS '16

Conference number: 31

Conference location: New York, NY, USA

Conference date: August 05, 2016 - August 08, 2016

Conference sponsor: IEEE-CS\DATC, IEEE Computer Society

Conference sponsor: SIGLOG, ACM Special Interest Group on Logic and Computation

Conference sponsor: EACSL, European Association for Computer Science Logic

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.