Language and proofs for higher-order SMT (work in progress)

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine

Journal title: 5th Workshop on Proof eXchange for Theorem Proving (PxTP 2017)

Journal publisher: Open Publishing Association

Published year: 2017

Published pages: 15-22