( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Functional Machine Calculus.

. MFPS, том 1 из EPTICS, EpiSciences, (2022)

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.

Willem Evermann

Willem Herstel

Willem Reijen

Willem Baan

Willem Tiebel

 

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

Spinal Atomic Lambda-Calculus., , , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 582-601. Springer, (2020)Proof Nets for Bi-Intuitionistic Linear Logic., и . FSCD, том 108 из LIPIcs, стр. 10:1-10:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics., , , , , , и . CEP, стр. 12:1-12:4. ACM, (2019)Classical proof forestry.. Ann. Pure Appl. Log., 161 (11): 1346-1366 (2010)Decomposing Probabilistic Lambda-Calculi., , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 136-156. Springer, (2020)Proof Nets for Additive Linear Logic with Units.. LICS, стр. 207-216. IEEE Computer Society, (2011)Proof Nets for First-Order Additive Linear Logic., , и . FSCD, том 131 из LIPIcs, стр. 22:1-22:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)The Functional Machine Calculus II: Semantics., , и . CoRR, (2022)Conflict nets: Efficient locally canonical MALL proof nets., и . LICS, стр. 437-446. ACM, (2016)Proof equivalence in MLL is PSPACE-complete., и . Logical Methods in Computer Science, (2016)