Miller, Dale, 1956-
Miller, Dale
Miller, Dale (Dale A.)
Miller, Dale A.
Miller, Dale A. (1956- ).
Dale Allen Miller Ph.D. Carnegie Mellon University 1983
Miller, Dale (Dale A.), 1956-
VIAF ID: 264446257 ( Personal )
Permalink: http://viaf.org/viaf/264446257
Preferred Forms
- 100 0 _ ‡a Dale Allen Miller ‡c Ph.D. Carnegie Mellon University 1983
- 200 _ | ‡a Miller ‡b Dale ‡f 1956-....
- 100 1 _ ‡a Miller, Dale
-
-
-
- 100 1 _ ‡a Miller, Dale ‡d 1956-
- 100 1 _ ‡a Miller, Dale ‡d 1956-...
-
- 100 1 _ ‡a Miller, Dale ‡q (Dale A.)
-
-
-
4xx's: Alternate Name Forms (13)
5xx's: Related Names (3)
- 510 2 _ ‡a Centre Inria Saclay - Île-de-France ‡e Affiliation
- 510 2 _ ‡a Centre Inria Saclay - Île-de-France
- 551 _ _ ‡a Saclay
Works
Title | Sources |
---|---|
Applications des Certificats de Preuve Fondamentaux à la démonstration automatique de théorèmes. | |
Applications of Foundational Proof Certificates in theorem proving | |
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings | |
Calculer avec des relations, des fonctions et des lieurs. | |
Certification de preuves en logiques classique et intuitionniste du premier ordre | |
Certification of First-Order Proofs in Classical and Intuitionistic Logics. | |
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings | |
Computing with relations, functions, and bindings | |
Developing proof theory for proof exchange | |
Developpements de théorie de la démonstration pour le partage de démonstrations. | |
Dissecting call-by-need by customizing multi type systems | |
Une dissection de l'appel-par-nécessité par la personnalisation des systèmes de multi types. | |
Encoding a dependent-type [lambda]-calculus in a logic programming language | |
Enriched concurrent games : witnesses for proofs and resource analysis. | |
Exploiting non-canonicity in the sequent calculus | |
Expressing predicate subtyping in computational logical frameworks | |
Expression du sous-typage par prédicats dans les cadres logiques calculatoires. | |
ICLP'91 : 8ème Conférence internationale Programmation en Logique, 25-28 juin 1991, Hôtel Pullman, Paris. | |
Jeux concurrents enrichis : témoins pour les preuves et les ressources | |
Jeux de dialogue symétriques dans la théorie de la démonstration de la logique linéaire. | |
Mécanismes orientés objet pour l’interopérabilité entre systèmes de preuve. | |
Object-Oriented Mechanisms for Interoperability Between Proof Systems | |
On the semantics of disjunctive logic programs | |
Programming with higher-order logic / Dale Miller, Gopalan Nadathur. - New York, 2012. | |
Safe Programming in Finite Precision: Controlling Errors and Information Leaks | |
Sémantique des programmes logiques disjonctifs. | |
Symmetric dialogue games in the proof theroy of linear logic | |
Théorie des automates, langages formels, calculabilité majeure d'informatique promotion 2004, année 3, majeure 1... | |
Workshop on the Lambda-PROLOG programming language : 31 july - 1 august 1992, University of Pennsylvania, Philadelphia, PA, USA : conference record |