( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Non-idempotent types for classical calculi in natural deduction style.

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

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.

Matthias Deliano

Simela Delianidou

Markus Deliano

Christine Delia

Delia Gronemeyer

 

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

Non-idempotent intersection types for the Lambda-Calculus., , и . Log. J. IGPL, 25 (4): 431-464 (2017)A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications., , и . FoSSaCS, том 13242 из Lecture Notes in Computer Science, стр. 285-304. Springer, (2022)The Inhabitation Problem for Non-idempotent Intersection Types., , и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 341-354. Springer, (2014)Rewriting with Extensional Polymorphic Lambda-Calculus., и . CSL, том 1092 из Lecture Notes in Computer Science, стр. 215-232. Springer, (1995)Pattern Matching in Order-Sorted Languages.. MFCS, том 520 из Lecture Notes in Computer Science, стр. 267-276. Springer, (1991)An abstract normalisation result with applications to non-sequential calculi., , , и . CoRR, (2014)Strong Normalization through Intersection Types and Memory., , и . LSFA, том 323 из Electronic Notes in Theoretical Computer Science, стр. 75-91. Elsevier, (2015)A standardisation proof for algebraic pattern calculi, , и . HOR, том 49 из EPTCS, стр. 58-72. (2010)Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi., и . ICALP, том 820 из Lecture Notes in Computer Science, стр. 462-472. Springer, (1994)The Theory of Calculi with Explicit Substitutions Revisited.. CSL, том 4646 из Lecture Notes in Computer Science, стр. 238-252. Springer, (2007)