VDict mobile



higher-order not found. Suggestions:

higher-order function
higher-order macro
higher-order macro
HOL
Lambda Prolog
OBJ
first-order
Quest
first-order logic
LNF
BABEL
CHOCS