Is this you? Create Your Porfile
Avatar

Dale Miller

Duke University

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Dale Miller is active.

Explore More

Publication

Featured researches published by Dale Miller.

Archive | 2012

Programming with Higher-Order Logic

Dale Miller; Gopalan Nadathur

international conference on lightning protection | 1988

An Overview of Lambda Prolog

Gopalan Nadathur; Dale Miller

Archive | 2012

Programming with Higher-Order Logic: Preface

Dale Miller; Gopalan Nadathur

Archive | 1985

A computational logic approach to syn-tax and semantics

Dale Miller; Gopalan Nadathur

Archive | 2012

Programming with Higher-Order Logic: Introduction

Dale Miller; Gopalan Nadathur

Archive | 2012

Programming with Higher-Order Logic: The Teyjus System

Dale Miller; Gopalan Nadathur

Archive | 2012

Programming with Higher-Order Logic: Unification of λ-Terms

Dale Miller; Gopalan Nadathur

Archive | 2012

Using Quantification at Higher-Order Types

Dale Miller; Gopalan Nadathur

Archive | 2012

Programming with Higher-Order Logic: Encoding a Process Calculus Language

Dale Miller; Gopalan Nadathur

Archive | 2012

Typed λ-Terms and Formulas

Dale Miller; Gopalan Nadathur

Explore More

Collaboration

Dive into the Dale Miller's collaboration.

Top Co-Authors
Avatar

Gopalan Nadathur

University of Minnesota

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge