( en | de | ru )

 

Disambiguierung von "Cosmo, Roberto Di"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object.

, und . J. Funct. Program., 6 (2): 299-327 (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.

Roberto Di Bella

Chen Di

Di Zhou

Tie Di

Di Wu

 

Weitere Publikationen von Autoren mit dem selben Namen

A "Minimal Disruption" Skeleton Experiment: Seamless Map & Reduce Embedding in OCaml., und . ICCS, Volume 9 von Procedia Computer Science, Seite 1837-1846. Elsevier, (2012)Software Heritage: que faire avec tout le code source du monde?. EGC, Volume E-35 von RNTI, Seite 5-6. Éditions RNTI, (2019)On the Power of Simple Diagrams.. RTA, Volume 1103 von Lecture Notes in Computer Science, Seite 200-214. Springer, (1996)Expanding Extensional Polymorphism., und . TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 139-153. Springer, (1995)Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi., und . ICALP, Volume 820 von Lecture Notes in Computer Science, Seite 462-472. Springer, (1994)A Calculus for Dense Array Distributions., und . Parallel Process. Lett., 13 (3): 377-388 (2003)Attributing and Referencing (Research) Software: Best Practices and Outlook From Inria., , , , , , und . Comput. Sci. Eng., 22 (1): 39-52 (2020)A Brief History of Rewriting with Extensionality. presentation, (September 1996)Glasgow.Supporting Software Evolution in Component-Based FOSS Systems, , , , und . Science of Computer Programming, (2010)Available online at: http://dx.doi.org/10.1016/j.scico.2010.11.001.Archiving and Referencing Source Code with Software Heritage.. ICMS, Volume 12097 von Lecture Notes in Computer Science, Seite 362-373. Springer, (2020)