IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 112
Titolo Data di pubblicazione Autore(i) File
The expressive power of structural operational semantics with explicit assumptions 1-gen-1994 Miculan, Marino
Modal μ-types for processes 1-gen-1995 Miculan, Marino; Gadducci, F.
A natural deduction approach to dynamic logic 1-gen-1996 Honsell, Furio; Miculan, Marino
Encoding logical theories of programs 1-gen-1997 Miculan, Marino
Encoding Modal Logics in Logical Frameworks 1-gen-1998 Avron, Arnon; Honsell, Furio; Miculan, Marino; Paravano, Cristian
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 1-gen-1999 Miculan, Marino
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 1-gen-2001 Miculan, Marino
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
On the formalization of the modal mu-calculus in the calculus of inductive constructions 1-gen-2001 Miculan, Marino
pi-calculus in (Co)Inductive Type Theories 1-gen-2001 Honsell, F; Miculan, Marino; Scagnetto, Ivan
Proceedings of FOSSACS 2001 1-gen-2001 Honsell, F; Miculan, Marino
The Theory of Contexts for First Order and Higher Order Abstract Syntax 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 1-gen-2002 Scagnetto, Ivan; Miculan, Marino
Frecuencis lessicâls dal furlan scrit 1-gen-2002 Burelli, Alessandra; Miculan, Marino
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 1-gen-2002 Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino
TOSCA 2001 1-gen-2002 Lenisa, Marina; Miculan, Marino
Special Issue of Theoretical Computer Science on FOSSACS 2001 1-gen-2003 Honsell, Furio; Miculan, Marino
A Unifying Approach to Recursive and Co-recursive Definitions 1-gen-2003 DI GIANANTONIO, Pietro; Miculan, Marino
Imperative Object-based Calculi in (Co)Inductive Type Theories 1-gen-2003 Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
Theoretical Computer Science: Preface 1-gen-2003 Honsell, Furio; Miculan, Marino
A Framework for Typed HOAS and Semantics 1-gen-2003 Miculan, Marino; Scagnetto, Ivan
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 1-gen-2003 Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
MERLIN '03 Mechanized Reasoning about Languages with Variable Binding 2003 Wokshop (co-located with ICFP and PPDP 2003 Conferences) 1-gen-2003 Honsell, F; Miculan, Marino; Momigliano, A.
Modeling fresh names in the π-calculus using abstractions 1-gen-2004 Bruni, R; Honsell, Furio; Lenisa, Marina; Miculan, Marino
Some characterization results for permutation algebras 1-gen-2004 Gadducci, F; Miculan, Marino; Montanari, U.
Proceedings of the Workshop COMETA Computational Metamodels 1-gen-2004 Honsell, F; Lenisa, Marina; Miculan, Marino
Proceedings of COMETA 2003 1-gen-2004 Honsell, F; Lenisa, M; Miculan, Marino
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 1-gen-2004 DI GIANANTONIO, Pietro; Miculan, Marino
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 1-gen-2005 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
A unifying model of variables and names 1-gen-2005 Miculan, Marino; Yemane, K.
Modal logics for Brane Calculus 1-gen-2006 Miculan, Marino; Bacci, G.
Consistency of the Theory of Contexts 1-gen-2006 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
About permutation algebras, (pre)sheaves and named sets 1-gen-2006 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
Implementazione di Memoria Distribuita su cluster CompactPCI 1-gen-2006 Massarini, M; Miculan, Marino; Sepic, F.
Reactive Systems over Directed Bigraphs 1-gen-2007 Grohmann, Davide; Miculan, Marino
Directed Bigraphs 1-gen-2007 Davide, Grohmann; Miculan, Marino
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 1-gen-2007 Ciaffaglione, Alberto; Liquori, L; Miculan, Marino
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 1-gen-2008 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
An Algebra for Directed Bigraphs 1-gen-2008 Grohmann, Davide; Miculan, Marino
A categorical model of the Fusion calculus 1-gen-2008 Miculan, Marino
Implementing Spi Calculus using Nominal techniques 1-gen-2008 Kahsai, Temesghen; Miculan, Marino
PicNIc - Pi-calculus Non-Interference checker 1-gen-2008 Crafa, Silvia; Miculan, Marino; Mio, Matteo; Piazza, Carla; Rossi, Sabina
Controlling resource access in Directed Bigraphs 1-gen-2008 Grohmann, D; Miculan, Marino
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 1-gen-2008 Miculan, Marino; Scagnetto, Ivan; Honsell, F.
Undecidability of Model Checking in Brane Logic 1-gen-2008 Bacci, G; Miculan, Marino
Bigraphical models for protein and membrane interactions 1-gen-2009 Bacci, Giorgio; Grohmann, Davide; Miculan, Marino
Deriving Barbed Bisimulations for Bigraphical Reactive Systems 1-gen-2009 Grohmann, Davide; Miculan, Marino
A framework for protein and membrane interactions 1-gen-2009 Bacci, Giorgio; Grohmann, Davide; Miculan, Marino
DBtk: A Toolkit for Directed Bigraphs 1-gen-2009 Bacci, G; Grohmann, D; Miculan, Marino
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice 1-gen-2010 Crary, Karl; Miculan, Marino
Mostrati risultati da 1 a 50 di 112
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile