Volgen
Bohdan Liesnikov
Bohdan Liesnikov
Andere namenБогдан Лєсніков
TU Delft
Geverifieerd e-mailadres voor tudelft.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Generating induction principles and subterm relations for inductive types using MetaCoq
B Liesnikov, M Ullrich, Y Forster
arXiv preprint arXiv:2006.15135, 2020
52020
Building an elaborator using extensible constraints
B Liesnikov, J Cockx
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–2