Sciweavers

ASIAN
2004
Springer
78views Algorithms» more  ASIAN 2004»
14 years 5 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