( en | de | ru )

 

Disambiguation of "Lenisa, Marina"

Author of the publication

copydeleteadd this publication to your clipboard
Final semantics for the pi-calculus.

, , , and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 225-243. Chapman & Hall, (1998)

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. You can also use the button next to the name to display some publications already assigned to the person.

Marina Maier

Monitoring, Mobilität und Bioverfügbarkeit von Palladiumemissionen aus Kraftfahrzeugen. TU München, (2010)

Marina Mikhaylova

Molecular dynamics of the neuronal Ca_1hn2_1hn+-binding proteins caldendrin and calneuron. Uni Magdeburg, (2009)

Marina Kopp

Marina Tsoi

Marina Backhaus

 

Other publications of authors with the same name

RPO, Second-order Contexts, and Lambda-calculus, , and . Logical Methods in Computer Science, (2009)Coinductive characterizations of applicative structures., and . Math. Struct. Comput. Sci., 9 (4): 403-435 (1999)LF+ in Coq for "fast and loose" reasoning., , , , , and . J. Formaliz. Reason., 12 (1): 11-51 (2019)"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models., and . TYPES, volume 3085 of Lecture Notes in Computer Science, page 242-258. Springer, (2003)A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi.. TAPSOFT, volume 1214 of Lecture Notes in Computer Science, page 309-320. Springer, (1997)Multigames and strategies, coalgebraically.. Theor. Comput. Sci., (2015)The involutions-as-principal types/application-as-unification Analogy., , , and . LPAR, volume 57 of EPiC Series in Computing, page 254-270. EasyChair, (2018)Λ-Symsym: An Interactive Tool for Playing with Involutions and Types., , and . TYPES, volume 188 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)lambda!-calculus, Intersection Types, and Involutions., , , , and . FSCD, volume 131 of LIPIcs, page 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Some Properties and Some Problems on Set Functors., , and . CMCS, volume 164 of Electronic Notes in Theoretical Computer Science, page 67-84. Elsevier, (2006)