Stateless higher-order logic with quantified types

DOI10.1007/978-3-642-39634-2_35zbMATH Open1317.68202OpenAlexW2188035636MaRDI QIDQ5327367FDOQ5327367

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

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
• (In)consistency of Extensions of Higher Order Logic and Type Theory

Mathematics Subject Classification ID

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

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)