↧
Answer by applicative for Representing Data Types With Variable Variables
Maybe your question would be clearer if you said what was wrong with the following simple minded representation of terms and formulas? There are a million ways of doing this sort of thing (the...
View ArticleRepresenting Data Types With Variable Variables
I am attempting to represent formulae with variables ranging over, for instance, either formulae or variables and constants:R(a,b) -> Q [Q takes formulae as substitutions]R(x,b) v P(b) [x takes...
View Article