( en | de | ru )

 

Disambiguierung von "Hardin, Thérèse"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Strong Normalizations of Substitutions.

, , und . J. Log. Comput., 6 (6): 799-817 (1996)

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

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)Functional Runtime Systems Within the Lambda-Sigma Calculus., und . J. Funct. Program., 8 (2): 131-176 (1998)Eta-Conversion for the Languages of Explicit Substitutions.. Appl. Algebra Eng. Commun. Comput., (1994)Building certified components within FOCAL., , und . Trends in Functional Programming, Volume 5 von Trends in Functional Programming, Seite 33-48. Intellect, (2004)Unification via Explicit Substitutions: The Case of Higher-Order Patterns., , , und . JICSLP, Seite 259-273. MIT Press, (1996)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)Experience in using a typed functional language for the development of a security application., , , und . F-IDE, Volume 149 von EPTCS, Seite 58-63. (2014)Development Life-cycle of Critical Software Under FoCaL., , und . TTSS, Volume 243 von Electronic Notes in Theoretical Computer Science, Seite 15-31. Elsevier, (2008)On the way to certify Computer Algebra Systems., , , , und . Calculemus, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 370-385. Elsevier, (1999)