Skip to main content
3 votes

In logic programming, what would a language with second-order model theory gain?

An actual second-order logic programming language would allow you to use second-order quantifiers in a computationally meaningful way. Second-order logic without quantifiers ranging over second-order ...
Andrej Bauer's user avatar
  • 29.2k

Only top scored, non community-wiki answers of a minimum length are eligible