A Pedagogical Semantics-Directed Metalanguage
Author
Term
4. term
Education
Publication year
2020
Submitted on
2020-06-12
Pages
114
Abstract
This report presents a metalanguage based on natural semantics. It is designed specifically with pedagogical purposes in mind.The focus of the report it lies in presenting the specifications of the metalanguage, as well as the underlying implementation.
This report presents a metalanguage based on natural semantics. It is designed specifically with pedagogical purposes in mind.The focus of the report it lies in presenting the specifications of the metalanguage, as well as the underlying implementation.
Keywords
Documents