A mechanized theory of regular trees in dependent type theory

From MaRDI portal
Publication:2945653

DOI10.1007/978-3-319-22102-1_27zbMATH Open1465.68062OpenAlexW2396664939MaRDI QIDQ2945653FDOQ2945653


Authors: Régis Spadotti Edit this on Wikidata


Publication date: 14 September 2015

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://tel.archives-ouvertes.fr/tel-01589656/file/2016TOU30178b.pdf




Recommendations



Cites Work


Cited In (4)

Uses Software





This page was built for publication: A mechanized theory of regular trees in dependent type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945653)