Stateless higher-order logic with quantified types

DOI10.1007/978-3-642-39634-2_35MaRDI QIDQ5327367zbMATH OpenOpenAlexFDO

Authors 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

Recommendations

• The \(HOL\) logic extended with quantification over type variables
• HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
• The HOL-Omega Logic
• scientific article; zbMATH DE number 2185697
• (In)consistency of Extensions of Higher Order Logic and Type Theory

Cited in

(3)

• The \(HOL\) logic extended with quantification over type variables
• HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
• Type theory and language constructs for objects with states

Describes a project that uses

Uses Software

• HOL

This page was built for publication: Stateless higher-order logic with quantified types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5327367)