Marcelo Fiore
Marcelo Fiore
Professor in Mathematical Foundations of Computer Science
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
4491999
Axiomatic domain theory in categories of partial maps
MP Fiore
Cambridge University Press, 2004
1692004
A fully abstract model for the π-calculus
MP Fiore, E Moggi, D Sangiorgi
Information and Computation 179 (1), 76-117, 2002
1642002
Computing Symbolic Models for Verifying Cryptographic Protocols.
MP Fiore, M Abadi
csfw, 160-173, 2001
1202001
An axiomatisation of computationally adequate domain theoretic models of FPC
MP Fiore, GD Plotkin
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 92-102, 1994
941994
The cartesian closed bicategory of generalised species of structures
M Fiore, N Gambino, M Hyland, G Winskel
Journal of the London Mathematical Society 77 (1), 203-220, 2008
932008
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
V Balat, R Di Cosmo, M Fiore
ACM SIGPLAN Notices 39 (1), 64-76, 2004
902004
Semantic analysis of normalisation by evaluation for typed lambda calculus
M Fiore
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
882002
A coinduction principle for recursive data types based on bisimulation
MP Fiore
Information and Computation 127 (2), 186-198, 1996
841996
Domains and denotational semantics: History, accomplishments and open problems
A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark
SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996
701996
Syntactic considerations on recursive types
M Abadi, MP Fiore
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 242-252, 1996
641996
Second-order equational logic
M Fiore, CK Hur
International Workshop on Computer Science Logic, 320-335, 2010
562010
Second-order and dependently-sorted abstract syntax
M Fiore
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 57-68, 2008
552008
Differential structure in models of multiplicative biadditive intuitionistic linear logic
MP Fiore
International Conference on Typed Lambda Calculi and Applications, 163-177, 2007
552007
Comparing operational models of name-passing process calculi
M Fiore, S Staton
Information and Computation 204 (4), 524-560, 2006
542006
Weak bisimulation and open maps
M Fiore, GL Cattani, G Winskel
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
511999
Second-order algebraic theories
M Fiore, O Mahmoud
International Symposium on Mathematical Foundations of Computer Science, 368-380, 2010
502010
Mathematical models of computational and combinatorial structures
MP Fiore
International Conference on Foundations of Software Science and Computation …, 2005
432005
Remarks on isomorphisms in typed lambda calculi with empty and sum types
M Fiore, R Di Cosmo, V Balat
Annals of Pure and Applied Logic 141 (1-2), 35-50, 2006
422006
A congruence rule format for name-passing process calculi from mathematical structural operational semantics
M Fiore, S Staton
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 49-58, 2006
412006
The system can't perform the operation now. Try again later.
Articles 1–20