2 search results - page 1 / 1 » Converting Untyped Formulas to Typed Ones |
ACTA
1998
13 years 6 months ago
1998
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
PADL
2012
Springer
12 years 2 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...