Підписатись
Bohdan Liesnikov
Bohdan Liesnikov
Інші іменаБогдан Лєсніков
TU Delft
Підтверджена електронна адреса в tudelft.nl - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–2