Translating Dependent Type Theory into Higher Order Logic

Translating Dependent Type Theory into Higher Order Logic

Bibliographic Details
Main Authors:	Jacobs, B, Melham, T
Format:	Conference item
Published:	Springer−Verlag 1993

Similar Items

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1989)

Automating Recursive Type Definitions in Higher Order Logic
by: Melham, T
Published: (1988)

Higher Order Logic and Hardware Verification
by: Melham, T
Published: (1993)

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Some Research Issues in Higher Order Logic Theorem Proving
by: Melham, T
Published: (1996)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
by: Melham, T
Published: (1989)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1987)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1986)

The HOL Logic Extended with Quantification over Type Variables
by: Melham, T
Published: (1993)

The HOL Logic Extended with Quantification over Type Variables
by: Melham, T
Published: (1994)

Semantics of Separation−logic Typing and Higher−order Frame Rules
by: Birkedal, L, et al.
Published: (2005)

Learning higher-order logic programs
by: Cropper, A, et al.
Published: (2019)

Henkin on Nominalism and Higher-Order Logic
by: Diego Pinheiro Fernandes
Published: (2022-08-01)

Light Logics and Higher-Order Processes
by: Ugo Dal Lago, et al.
Published: (2010-11-01)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
by: Sadrzadeh, M
Published: (2003)

Intensional type theory for higher-order contingentism
by: Fritz, P
Published: (2015)

Higher-Order Interactions and Their Duals Reveal Synergy and Logical Dependence beyond Shannon-Information
by: Abel Jansma
Published: (2023-04-01)

A Probabilistic Higher-order Fixpoint Logic
by: Yo Mitani, et al.
Published: (2021-12-01)

Superposition for Lambda-Free Higher-Order Logic
by: Alexander Bentkamp, et al.
Published: (2021-04-01)

Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages
by: Birkedal, L, et al.
Published: (2006)

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
by: Lars Birkedal, et al.
Published: (2006-11-01)

A Simple Model of Separation Logic for Higher−Order Store
by: Birkedal, L, et al.
Published: (2008)

Extensional Semantics for Higher-Order Logic Programs with Negation
by: Panos Rondogiannis, et al.
Published: (2018-06-01)

The Complexity of Model Checking Higher-Order Fixpoint Logic
by: Roland Axelsson, et al.
Published: (2007-06-01)

Logical Reasoning for Higher-Order Functions with Local State
by: Nobuko Yoshida, et al.
Published: (2008-10-01)

The Frege-Geach Problem and the Logic of Higher-Order Attitudes
by: Bahram Alizade
Published: (2023-06-01)

HoCHC: a refutationally complete and semantically invariant system of higher-order logic modulo theories
by: Ong, C, et al.
Published: (2019)

Learning higher-order logic programs through abstraction and invention
by: Cropper, A, et al.
Published: (2016)

Intensional and higher-order modal logic : with applications to montague semantics /
by: 317500 Gallin, Daniel
Published: (1975)

Higher-order decision theory
by: Hedges, J, et al.
Published: (2017)

Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
by: Chunna Zhao, et al.
Published: (2022-08-01)

Logic Programming & Type Theory /
by: Singleton, Velva, author 640075, et al.
Published: (2012)

Density cubes and higher-order interference theories
by: B Dakić, et al.
Published: (2014-01-01)

Density cubes and higher-order interference theories
by: Dakić, B, et al.
Published: (2014)

Introduction to HOL: A theorem proving environment for higher order logic
Published: (1993)

Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure
by: Christoph Benzmueller, et al.
Published: (2010-01-01)

Gravitational Decoupling in Higher Order Theories
by: Joseph Sultana
Published: (2021-08-01)

The merits of higher-order thought theories
by: Sam Coleman

Tableau systems for first order number theory and certain higher order theories /
by: 358403 Toledo, Sue Ann
Published: (1975)