Seguir
Bohdan Liesnikov
Bohdan Liesnikov
Otros nombresБогдан Лєсніков
TU Delft
Dirección de correo verificada de tudelft.nl - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2