PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lenisa, Marina"

Author of the publication

copydeleteadd this publication to your clipboard
Preface.

, , and . Electr. Notes Theor. Comput. Sci., 44 (1): 308-309 (2001)

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 Hörning University of Stuttgart

Dr. -Ing. Marina Stipetic University of Stuttgart

Marina Evers University of Stuttgart

Dr. Marina Braun-Unkhoff University of Stuttgart

 

Other publications of authors with the same name

Semantical Analysis of Perpetual Strategies in lambda-Calculus., and . Theor. Comput. Sci., 212 (1-2): 183-209 (1999)An open logical framework., , , , and . J. Log. Comput., 26 (1): 293-335 (2016)Linear lambda-calculus and Reversible Automatic Combinators., , , and . CoRR, (2018)Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi., , and . WADT, volume 5486 of Lecture Notes in Computer Science, page 119-134. Springer, (2008)Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi.. TLCA, volume 1210 of Lecture Notes in Computer Science, page 248-266. Springer, (1997)Category theory for operational semantics., , and . Theor. Comput. Sci., 327 (1-2): 135-154 (2004)Processes and Hyperuniverses., , and . MFCS, volume 841 of Lecture Notes in Computer Science, page 352-363. Springer, (1994)Final Semantics for a Higher Order Concurrent Language.. CAAP, volume 1059 of Lecture Notes in Computer Science, page 102-118. Springer, (1996)Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus., , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 358-372. Springer, (2010)Coinductive characterizations of applicative structures., and . Mathematical Structures in Computer Science, 9 (4): 403-435 (1999)