1 |
Mechanized metatheory revisited
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019)
|
|
BASE
|
|
Show details
|
|
2 |
Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper)
|
|
Miller, Dale. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : LIPIcs - Leibniz International Proceedings in Informatics. 22nd International Conference on Types for Proofs and Programs (TYPES 2016), 2018
|
|
BASE
|
|
Show details
|
|
|
|