We propose a simple theory of expressions which is intended to be used as a foundational syntactic structure for the Natural Framework (NF). We define expression formally and give a simple proof of the decidability of aα-equivalence. We use this new theory of expressions to define judgments and derivations formally, and we give concrete examples of derivation games to show a flavor of NF. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Sato, M. (2004). A simple theory of expressions, judgments and derivations. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3321, 437–451. https://doi.org/10.1007/978-3-540-30502-6_32
Mendeley helps you to discover research relevant for your work.