Results 1 -
1 of
1
A Simple Theory of Expressions, Judgments and Derivations
- ASIAN 2004, Lecture Notes in Computer Science 3321
, 2004
"... Abstract. 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 α-equivalence. We use this new theory of expressions to define judgments ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract. 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 α-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. 1
