TY  - RPRT
TI  - Completeness proof of functional logic, a formalism with variable-binding nonlogical symbols
AU  - Josef Schoenbrunner
PY  - 1995
UR  - https://arxiv.org/abs/math/9503206
ID  - math/9503206
ER  -