2 search results - page 1 / 1 » Converting Untyped Formulas to Typed Ones |
57
Voted
ACTA
1998
14 years 9 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...
86
Voted
PADL
2012
Springer
13 years 5 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...