IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 108
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
Proceedings of FOSSACS 2001 1-gen-2001 Honsell, F; Miculan, Marino
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts 1-gen-2001 Miculan, Marino
The Theory of Contexts for First Order and Higher Order Abstract Syntax 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
pi-calculus in (Co)Inductive Type Theories 1-gen-2001 Honsell, F; Miculan, Marino; Scagnetto, Ivan
On the formalization of the modal mu-calculus in the calculus of inductive constructions 1-gen-2001 Miculan, Marino
TOSCA 2001 1-gen-2002 Lenisa, Marina; Miculan, Marino
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 1-gen-2002 Scagnetto, Ivan; Miculan, Marino
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 1-gen-2002 Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino
Frecuencis lessicâls dal furlan scrit 1-gen-2002 Burelli, Alessandra; 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.
Special Issue of Theoretical Computer Science on FOSSACS 2001 1-gen-2003 Honsell, Furio; Miculan, Marino
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 1-gen-2003 Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
Theoretical Computer Science: Preface 1-gen-2003 Honsell, Furio; Miculan, Marino
Mostrati risultati da 1 a 20 di 108
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