Siberian Federal University 
- Issue
- Journal of Siberian Federal University. Mathematics & Physics. Prepublication
- Authors
- Mishko, Nikolay A.
- Contact information
- Mishko, Nikolay A. : Siberian Federal University (Krasnoyarsk, Russian Federation);
- Keywords
- formal system; big-step semantics; proof verification
- Abstract
Big-step semantics is presented for the language that is powerful enough to encode arbitrary formal systems with computable inference rules and metatheorems about them but simple enough to implement and to reason about and potentially suitable for self-verification
- Pages
- 335–346
- EDN
- KHDDDY
- Paper at repository of SibFU
- https://elib.sfu-kras.ru/handle/2311/158233
Journal of Siberian Federal University. Mathematics & Physics / General Metalanguage for Formal Proofs
Full text (.pdf)