Quantcast
Channel: Representing Data Types With Variable Variables - Stack Overflow
Browsing latest articles
Browse All 2 View Live

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 Article


Representing 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

Browsing latest articles
Browse All 2 View Live


<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>