( en | de | ru )

 

Disambiguierung von "Kesner, Delia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Non-idempotent types for classical calculi in natural deduction style.

, und . Log. Methods Comput. Sci., (2020)

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.

Matthias Deliano

Simela Delianidou

Markus Deliano

Christine Delia

Delia Brune

 

Weitere Publikationen von Autoren mit dem selben Namen

Non-idempotent intersection types for the Lambda-Calculus., , und . Log. J. IGPL, 25 (4): 431-464 (2017)An abstract normalisation result with applications to non-sequential calculi., , , und . CoRR, (2014)Pattern Matching in Order-Sorted Languages.. MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 267-276. Springer, (1991)The Inhabitation Problem for Non-idempotent Intersection Types., , und . IFIP TCS, Volume 8705 von Lecture Notes in Computer Science, Seite 341-354. Springer, (2014)Rewriting with Extensional Polymorphic Lambda-Calculus., und . CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 215-232. Springer, (1995)A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications., , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 285-304. Springer, (2022)Strong Normalization through Intersection Types and Memory., , und . LSFA, Volume 323 von Electronic Notes in Theoretical Computer Science, Seite 75-91. Elsevier, (2015)A standardisation proof for algebraic pattern calculi, , und . HOR, Volume 49 von EPTCS, Seite 58-72. (2010)Meaningfulness and Genericity in a Subsuming Framework., , und . CoRR, (2024)A Resource Aware Computational Interpretation for Herbelin's Syntax., und . ICTAC, Volume 9399 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2015)