TY  - RPRT
TI  - Language and Proofs for Higher-Order SMT (Work in Progress)
AU  - Haniel Barbosa
AU  - Jasmin Christian Blanchette
AU  - Simon Cruanes
AU  - Daniel El Ouraoui
AU  - Pascal Fontaine
PY  - 2017
DO  - 10.4204/eptcs.262.3
UR  - https://arxiv.org/abs/1712.01486
ID  - 1712.01486
ER  -