Searching for authors named "Marino Miculan" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Modal µ-Types for Processes
- …Appeared in the Proceedings of the 10th LICS. 1 Marino Miculan Dipartimento di Informatica…
- Add To MetaCart
-
On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions
- …On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions 1 Marino…
- Cited by 3 (0 self) – Add To MetaCart
-
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts
- …Developing (Meta)Theory of λ-calculus in the Theory of Contexts ⋆ Marino Miculan Dipartimento di…
- Cited by 9 (2 self) – Add To MetaCart
-
The Expressive Power of Structural Operational Semantics with Explicit Assumptions
- …The Expressive Power of Structural Operational Semantics with Explicit Assumptions ⋆ Marino…
- Cited by 4 (4 self) – Add To MetaCart
-
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
- … Ivan Scagnetto, Marino Miculan Dipartimento di Matematica e Informatica, Università di Udine, Italy…
- Cited by 2 (0 self) – Add To MetaCart
-
A unifying model of variables and names
- …A Unifying Model of Variables and Names ⋆ Marino Miculan 1 and Kidane Yemane 2 1 Dept…
- Cited by 4 (1 self) – Add To MetaCart
-
A Framework for Typed HOAS and Semantics
- …ABSTRACT A Framework for Typed HOAS and Semantics ∗ Marino Miculan miculan@(email omitted); Ivan…
- Cited by 2 (1 self) – Add To MetaCart
-
A Natural Deduction Approach to Dynamic Logic
- …A Natural Deduction Approach to Dynamic Logic ∗ Furio Honsell 1 and Marino Miculan 1,2 1…
- Cited by 12 (5 self) – Add To MetaCart
-
Reactive systems over directed bigraphs
- …Reactive Systems over Directed Bigraphs ⋆ Davide Grohmann Marino Miculan Dept. of Mathematics…
- Cited by 4 (0 self) – Add To MetaCart
-
Some Characterization Results for Permutation Algebras
- … ⋆ Fabio Gadducci a Marino Miculan b Ugo Montanari a a Dipartimento di Informatica, Università di Pisa via…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
