( en | de | ru )

 

Disambiguierung von "Hardin, Thérèse"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Eta-conversion for the Languages of Explicit Substitutions.

. ALP, Volume 632 von Lecture Notes in Computer Science, Seite 306-321. Springer, (1992)

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

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)Unification via Explicit Substitutions: The Case of Higher-Order Patterns., , , und . JICSLP, Seite 259-273. MIT Press, (1996)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)Building certified components within FOCAL., , und . Trends in Functional Programming, Volume 5 von Trends in Functional Programming, Seite 33-48. Intellect, (2004)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)Functional Back-Ends within the Lambda-Sigma Calculus., , und . ICFP, Seite 25-33. ACM, (1996)SIGPLAN Notices 31(6), June 1996.Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator., , , und . ICSE (2), Seite 209-218. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Development of a Generic Voter under FoCal., , und . TAP, Volume 5668 von Lecture Notes in Computer Science, Seite 10-26. Springer, (2009)