Marino Miculan
Title
Cited by
Cited by
Year
π-calculus in (Co) inductive-type theory
F Honsell, M Miculan, I Scagnetto
Theoretical computer science 253 (2), 239-285, 2001
1342001
An axiomatic approach to metareasoning on nominal algebras in HOAS
F Honsell, M Miculan, I Scagnetto
Automata, Languages and Programming, 963-978, 2001
79*2001
About permutation algebras,(pre) sheaves and named sets
F Gadducci, M Miculan, U Montanari
Higher-Order and Symbolic Computation 19 (2), 283-304, 2006
74*2006
Formal analysis of Facebook Connect single sign-on authentication protocol
M Miculan, C Urban
SOFSEM 11, 22–28, 2011
662011
Encoding modal logics in logical frameworks
A Avron, F Honsell, M Miculan, C Paravano
Studia Logica 60 (1), 161-208, 1998
541998
A unifying approach to recursive and co-recursive definitions
P Di Gianantonio, M Miculan
International Workshop on Types for Proofs and Programs, 148-161, 2002
522002
Directed bigraphs
D Grohmann, M Miculan
Electronic Notes in Theoretical Computer Science 173, 121-137, 2007
442007
Consistency of the theory of contexts
A Bucalo, M Hofmann, F Honsell, M Miculan, I Scagnetto
Journal of Functional Programming 16 (3), 327-395, 2006
44*2006
Reactive systems over directed bigraphs
D Grohmann, M Miculan
International Conference on Concurrency Theory, 380-394, 2007
412007
A natural deduction approach to dynamic logic
F Honsell, M Miculan
International Workshop on Types for Proofs and Programs, 165-182, 1995
401995
A framework for typed HOAS and semantics
M Miculan, I Scagnetto
Proceedings of the 5th ACM SIGPLAN international conference on Principlesá…, 2003
362003
Developing (Meta) Theory of λ-calculus in the Theory of Contexts
M Miculan
Electronic Notes in Theoretical Computer Science 58 (1), 37-58, 2001
332001
Encoding logical theories of programs
M Miculan
UniversitÓ, Dipartimento di informatica, 1997
311997
A model of countable nondeterminism in guarded type theory
A Bizjak, L Birkedal, M Miculan
Rewriting and Typed Lambda Calculi, 108-123, 2014
292014
Multi-agent systems design and prototyping with bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Ifip international conference on distributed applications and interoperableá…, 2014
292014
Behavioural equivalences for coalgebras with unobservable moves
T Brengos, M Miculan, M Peressotti
Journal of Logical and Algebraic Methods in Programming 84 (6), 826-852, 2015
262015
A unifying model of variables and names
M Miculan, K Yemane
International Conference on Foundations of Software Science and Computationá…, 2005
222005
Unifying recursive and co-recursive definitions in sheaf categories
P Di Gianantonio, M Miculan
International Conference on Foundations of Software Science and Computationá…, 2004
222004
On the formalization of the modal μ-calculus in the calculus of inductive constructions
M Miculan
Information and Computation 164 (1), 199-231, 2001
222001
DBtk: A Toolkit for Directed Bigraphs
G Bacci, D Grohmann, M Miculan
International Conference on Algebra and Coalgebra in Computer Science, 413-422, 2009
202009
The system can't perform the operation now. Try again later.
Articles 1–20