Mechanizing Programming Logics in Higher Order Logic

doi 10.1007/978-1-4612-3658-0_10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer New York

Related search

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Higher-Order Logic

1998English

Higher-Order Chemical Programming Style

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

2009English

Higher-Order Type-Level Programming in Haskell

Proceedings of the ACM on Programming Languages
2019English

Who's Afraid of Higher-Order Logic?

Grazer Philosophische Studien
Philosophy
1993English

Abduction in Logic Programming as Second-Order Quantifier Elimination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy