Why is a distribution license required?*

NON-EXCLUSIVE DISTRIBUTION LICENSE

By clicking through this license, you (the author or copyright owner, or as duly authorized by the author(s) and copyright owner(s) including any co-authors and co-owners) grant to imec Publications Repository a non-exclusive, non-transferable and perpetual right to hold, reproduce, translate (as defined below), and/or distribute your submission (including the abstract if applicable) worldwide in print and electronic format and in any medium.

You agree that imec Publications Repository may, without changing the content, convert the submission to any medium or format for the purpose of preservation.

You also agree that imec Publications Repository may keep more than one copy of this submission for purposes of security, back-up and preservation.

You agree that imec Publications Repository may distribute copies of the submission (including the abstract if applicable) worldwide, in electronic format via any medium for the purpose of free access without charge.

You confirm that the submission is an original work, and that you have the right to grant the rights contained in this license. You also confirm that your submission does not, to the best of your knowledge, infringe upon anyone's copyright.

If the submission contains material for which you do not hold copyright, you confirm that sufficient permissions have been obtained to grant imec the rights required by this license, and that such jointly owned or third-party owned material is clearly identified and acknowledged within the text or content of the submission.

If the submission has been commissioned, sponsored or supported by any third party organization other than imec, you have fulfilled any right of review/approval or other obligations required by such organization under applicable agreement(s).

The above rights are subject to any conditions agreed with a third party organization under applicable agreement(s) which still exists on the date of the submission and which I have expressly notified to imec Publications Repository at the time of deposit.

Imec Publications Repository will clearly identify your name(s) as the author(s) or owner(s) of the submission, and will not make any alteration, other than as allowed by this license, to your submission.

Imec Publications Repository reserves the right to remove the submission for administrative reasons, or in accordance with the repository takedown policy. Imec is under no obligation to take legal action on your behalf, or on behalf of any other rights holder(s) if the submission breaches intellectual property rights or is otherwise subject to legal dispute.

Cumulative inductive types in Coq

Date

Files

Author(s)

Journal

Abstract

Description

Metrics

Views

Citations

Metrics

Views

Citations