Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.

Other Open Access

Lambda-barrier Coq mechanization

Jules Jacobs

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.6560443", 
  "author": [
    {
      "family": "Jules Jacobs"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2022, 
        5, 
        13
      ]
    ]
  }, 
  "abstract": "<p>Lambda-barrier Coq mechanization. For the most recent version, see&nbsp;https://github.com/julesjacobs/cgraphs/tree/master/theories/lambdabar.</p>", 
  "title": "Lambda-barrier Coq mechanization", 
  "type": "article", 
  "id": "6560443"
}
110
1
views
downloads
All versions This version
Views 11041
Downloads 11
Data volume 536.7 kB536.7 kB
Unique views 6629
Unique downloads 11
More info on how stats are collected.
Indexed in
Publication date:
May 13, 2022
DOI:
10.5281/zenodo.6560443

Zenodo DOI Badge

DOI 

10.5281/zenodo.6560443

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6560443.svg)](https://doi.org/10.5281/zenodo.6560443)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6560443.svg
   :target: https://doi.org/10.5281/zenodo.6560443

HTML 

<a href="https://doi.org/10.5281/zenodo.6560443"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6560443.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6560443.svg

Target URL 

https://doi.org/10.5281/zenodo.6560443

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 4 10.5281/zenodo.6560443 May 13, 2022
Version 3 10.5281/zenodo.6560416 May 13, 2022
Version 2 10.5281/zenodo.6546157 May 13, 2022
Version 1 10.5281/zenodo.6546142 May 13, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6546141. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export