Searching for authors named "Marino Miculan" – sorted by Relevance.
-
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

