Stateless Higher-Order Logic with Quantified Types

DOI10.1007/978-3-642-39634-2_35zbMath1317.68202OpenAlexW2188035636MaRDI QIDQ5327367

Evan Austin, Perry Alexander

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_35

Mathematics Subject Classification ID

Uses Software

• HOL

This page was built for publication: Stateless Higher-Order Logic with Quantified Types