( en | de | ru )

 

Disambiguation of "Miculan, Marino"

Author of the publication

copydeleteadd this publication to your clipboard
Consistency of the theory of contexts.

, , , , and . J. Funct. Program., 16 (3): 327-372 (2006)

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.

Marino Philippi

Daniela Marino

Enzo Marino

Marino Perini

Marino Philippi

 

Other publications of authors with the same name

Constructive logical characterizations of bisimilarity for reactive probabilistic systems., and . Theor. Comput. Sci., (2019)Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems., and . SECRYPT, page 300-306. SciTePress, (2011)Measurable Stochastics for Brane Calculus, and . MeCBIC, volume 40 of EPTCS, page 6-22. (2010)A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories. CoRR, (1998)Guest editors' foreword., and . J. Log. Algebraic Methods Program., (2018)Composable partial multiparty session types for open systems., , and . Softw. Syst. Model., 22 (2): 473-494 (April 2023)The Theory of Contexts for First Order and Higher Order Abstract Syntax., , and . TOSCA, volume 62 of Electronic Notes in Theoretical Computer Science, page 116-135. Elsevier, (2001)Composable Partial Multiparty Session Types., , and . FACS, volume 13077 of Lecture Notes in Computer Science, page 44-62. Springer, (2021)Automated verification of Telegram's MTProto 2.0 in the symbolic model., and . Comput. Secur., (March 2023)Directed Bigraphs., and . MFPS, volume 173 of Electronic Notes in Theoretical Computer Science, page 121-137. Elsevier, (2007)