Year: 2026
Type: article
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
Authors: Mishko, Nikolay A., Мишко, Николай А.
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7154196244
FWCI:
Cites:
Cited by:
Related to: