( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multiple conclusion linear logic: cut elimination and more.

, и . J. Log. Comput., 30 (1): 157-174 (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.

Harley Krohmer

Harley Krohmer

Dave Harley

Anne-Marie Eades

Anne-Marie Eades

 

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

Multiple Conclusion Linear Logic: Cut Elimination and More., и . LFCS, том 9537 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2016)Hereditary Substitution for the λΔ-Calculus., и . COS, том 127 из EPTCS, стр. 45-65. (2013)Unifying graded and parameterised monads., , и . MSFP@ETAPS, том 317 из EPTCS, стр. 18-38. (2020)On Linear Logic, Functional Programming, and Attack Trees., , и . GraMSec@FLoC, том 11086 из Lecture Notes in Computer Science, стр. 71-89. Springer, (2018)Quantitative program reasoning with graded modal types., , и . Proc. ACM Program. Lang., 3 (ICFP): 110:1-110:30 (2019)Dualized Simple Type Theory., , и . Log. Methods Comput. Sci., (2016)Dialectica Categories for the Lambek Calculus., и . CoRR, (2018)An Intuitionistic Linear Logical Semantics of SAND Attack Trees.. CoRR, (2018)Graded Modal Dependent Type Theory., , и . CoRR, (2020)Constructive Temporal Logic, Categorically., и . FLAP, (2017)