Stateless Higher-Order Logic with Quantified Types
From MaRDI portal
Publication:5327367
DOI10.1007/978-3-642-39634-2_35zbMath1317.68202OpenAlexW2188035636MaRDI QIDQ5327367
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
Uses Software
This page was built for publication: Stateless Higher-Order Logic with Quantified Types