( en | de | ru )

 

Disambiguierung von "Hardin, Thérèse"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Runtime Systems Within the Lambda-Sigma Calculus.

, und . J. Funct. Program., 8 (2): 131-176 (1998)

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.

Bert Hardin

Almut Hardin

Thérèse Hémery

Thérèse Lojewski

Thérèse Goritzka

 

Weitere Publikationen von Autoren mit dem selben Namen

Building certified components within FOCAL., , und . Trends in Functional Programming, Volume 5 von Trends in Functional Programming, Seite 33-48. Intellect, (2004)HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic., , und . RTA, Volume 1631 von Lecture Notes in Computer Science, Seite 317-331. Springer, (1999)Eta-Conversion for the Languages of Explicit Substitutions.. Appl. Algebra Eng. Commun. Comput., (1994)Functional Runtime Systems Within the Lambda-Sigma Calculus., und . J. Funct. Program., 8 (2): 131-176 (1998)Unification via Explicit Substitutions: The Case of Higher-Order Patterns., , , und . JICSLP, Seite 259-273. MIT Press, (1996)Theorem Proving Modulo., , und . J. Autom. Reason., 31 (1): 33-72 (2003)Binding Logic: Proofs and Models., , und . LPAR, Volume 2514 von Lecture Notes in Computer Science, Seite 130-144. Springer, (2002)Binding Logic: proofs and models., , und . CoRR, (2023)Eta-conversion for the Languages of Explicit Substitutions.. ALP, Volume 632 von Lecture Notes in Computer Science, Seite 306-321. Springer, (1992)Higher Order Unification via Explicit Substitutions., , und . Inf. Comput., 157 (1-2): 183-235 (2000)