( en | de | ru )

 

Disambiguierung von "Miller, Dale"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.

, und . CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dale Adams

Aklilu Dalelo

Dale Rubbra

Dale Pearson

Jonathan Dale

 

Weitere Publikationen von Autoren mit dem selben Namen

Uses of Higher-Order Unification for Implementing Program Transformers., und . ICLP/SLP, Seite 942-959. MIT Press, (1988)Well-Typed Languages are Sound., , und . CoRR, (2016)Programming with Higher-Order Logic., und . Cambridge University Press, (2012)From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic., und . CSL, Volume 4646 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2007)A Meta-Logic for Functional Programming., und . META, Seite 453-476. MIT Press, (1988)A Survey of the Proof-Theoretic Foundations of Logic Programming.. CoRR, (2021)Flexible Diff-ing in a Collaborative Writing System., , , , , und . CSCW, Seite 147-154. ACM, (1992)Two Applications of Logic Programming to Coq., , und . TYPES, Volume 188 von LIPIcs, Seite 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Proof Checking and Logic Programming.. LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2015)A Positive Perspective on Term Representation (Invited Talk)., und . CSL, Volume 252 von LIPIcs, Seite 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)