( en | de | ru )

 

Disambiguierung von "Asperti, Andrea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Type systems for dummies.

, und . TLDI, Seite 79-90. ACM, (2012)

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.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Leinenkugel

 

Weitere Publikationen von Autoren mit dem selben Namen

Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist, und . Foundations of Computing MIT Press, (23.08.1991)Efficient Retrieval of Mathematical Statements., und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2004)Some Considerations on the Usability of Interactive Provers., und . AISC/MKM/Calculemus, Volume 6167 von Lecture Notes in Computer Science, Seite 147-156. Springer, (2010)XML, Stylesheets and the Re-mathematization of Formal Content., , , und . Extreme Markup Languages®, (2001)Comparing Lambda-calculus translations in Sharing Graphs., und . TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1995)The Family Relation in Interaction Systems., und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 366-384. Springer, (1994)Image Embedding for Denoising Generative Models., , , und . CoRR, (2023)The Effectiveness of Data Augmentation for Detection of Gastrointestinal Diseases from Endoscopical Images., und . BIOIMAGING, Seite 199-205. SciTePress, (2018)Paths in the lambda-calculus, , , und . LICS, Seite 426-436. IEEE Computer Society, (1994)Type systems for dummies., und . TLDI, Seite 79-90. ACM, (2012)