( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Strong Normalizations of Substitutions.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bert Hardin

Almut Hardin

Thérèse Hémery

Thérèse Lojewski

Thérèse Goritzka

 

Другие публикации лиц с тем же именем

HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic., , и . RTA, том 1631 из Lecture Notes in Computer Science, стр. 317-331. Springer, (1999)Eta-Conversion for the Languages of Explicit Substitutions.. Appl. Algebra Eng. Commun. Comput., (1994)Building certified components within FOCAL., , и . Trends in Functional Programming, том 5 из Trends in Functional Programming, стр. 33-48. Intellect, (2004)Functional Runtime Systems Within the Lambda-Sigma Calculus., и . J. Funct. Program., 8 (2): 131-176 (1998)Unification via Explicit Substitutions: The Case of Higher-Order Patterns., , , и . JICSLP, стр. 259-273. MIT Press, (1996)Eta-conversion for the Languages of Explicit Substitutions.. ALP, том 632 из Lecture Notes in Computer Science, стр. 306-321. Springer, (1992)Higher Order Unification via Explicit Substitutions., , и . Inf. Comput., 157 (1-2): 183-235 (2000)Development Life-cycle of Critical Software Under FoCaL., , и . TTSS, том 243 из Electronic Notes in Theoretical Computer Science, стр. 15-31. Elsevier, (2008)On the way to certify Computer Algebra Systems., , , , и . Calculemus, том 23 из Electronic Notes in Theoretical Computer Science, стр. 370-385. Elsevier, (1999)Experience in using a typed functional language for the development of a security application., , , и . F-IDE, том 149 из EPTCS, стр. 58-63. (2014)