Programming with Higher-Order Logic
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781139021326
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing Proof Systems

2012 ◽  
pp. 229-246
Author(s):  
Dale Miller ◽  
Gopalan Nadathur
Keyword(s):  
Proof Systems

The Teyjus System

2012 ◽  
pp. 277-288
Author(s):  
Dale Miller ◽  
Gopalan Nadathur

Introduction

2012 ◽  
pp. 1-9
Author(s):  
Dale Miller ◽  
Gopalan Nadathur

Unification of λ-Terms

2012 ◽  
pp. 211-228
Author(s):  
Dale Miller ◽  
Gopalan Nadathur

Typed λ-Terms and Formulas

2012 ◽  
pp. 96-117
Author(s):  
Dale Miller ◽  
Gopalan Nadathur

Bibliography

2012 ◽  
pp. 289-300
Author(s):  
Dale Miller ◽  
Gopalan Nadathur

First-Order Hereditary Harrop Formulas

2012 ◽  
pp. 75-95
Author(s):  
Dale Miller ◽  
Gopalan Nadathur
Keyword(s):  
First Order

Using Quantification at Higher-Order Types

2012 ◽  
pp. 118-149
Author(s):  
Dale Miller ◽  
Gopalan Nadathur
Keyword(s):  
Higher Order ◽  
Order Types

First-Order Horn Clauses

2012 ◽  
pp. 34-74
Author(s):  
Dale Miller ◽  
Gopalan Nadathur
Keyword(s):  
First Order ◽  
Horn Clauses

Encoding a Process Calculus Language

2012 ◽  
pp. 261-276
Author(s):  
Dale Miller ◽  
Gopalan Nadathur
Keyword(s):  
Process Calculus
Load More ...
Sign in / Sign up

Export Citation Format

Share Document