A formalized general theory of syntax with bindings

DOI10.1007/978-3-319-66107-0_16zbMath1468.68072arXiv1707.00024MaRDI QIDQ1687739

Peng Zhang

Publication date: 4 January 2018

Full work available at URL: https://arxiv.org/abs/1707.00024

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68V20: Formalization of mathematics in connection with theorem provers