Sfoglia per Autore
The expressive power of structural operational semantics with explicit assumptions
1994-01-01 Miculan, Marino
Modal μ-types for processes
1995-01-01 Miculan, Marino; Gadducci, F.
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
Encoding logical theories of programs
1997-01-01 Miculan, Marino
Encoding Modal Logics in Logical Frameworks
1998-01-01 Avron, Arnon; Honsell, Furio; Miculan, Marino; Paravano, Cristian
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions
1999-01-01 Miculan, Marino
The Theory of Contexts for First Order and Higher Order Abstract Syntax
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Proceedings of FOSSACS 2001
2001-01-01 Honsell, F; Miculan, Marino
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts
2001-01-01 Miculan, Marino
pi-calculus in (Co)Inductive Type Theories
2001-01-01 Honsell, F; Miculan, Marino; Scagnetto, Ivan
On the formalization of the modal mu-calculus in the calculus of inductive constructions
2001-01-01 Miculan, Marino
TOSCA 2001
2002-01-01 Lenisa, Marina; Miculan, Marino
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
2002-01-01 Bruni, R; Honsell, F; Lenisa, Marina; Miculan, Marino
Frecuencis lessicâls dal furlan scrit
2002-01-01 Burelli, Alessandra; Miculan, Marino
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
2002-01-01 Scagnetto, Ivan; Miculan, Marino
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax
2003-01-01 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)
2003-01-01 Honsell, F; Miculan, Marino; Momigliano, A.
A Unifying Approach to Recursive and Co-recursive Definitions
2003-01-01 DI GIANANTONIO, Pietro; Miculan, Marino
Special Issue of Theoretical Computer Science on FOSSACS 2001
2003-01-01 Honsell, Furio; Miculan, Marino
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