Sciweavers

64
Voted
ASIAN
2004
Springer
78views Algorithms» more  ASIAN 2004»
15 years 3 months ago
A Simple Theory of Expressions, Judgments and Derivations
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...
Masahiko Sato