Follow
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
4691999
Axiomatic domain theory in categories of partial maps
MP Fiore
Cambridge University Press, 2004
1702004
A fully abstract model for the π-calculus
MP Fiore, E Moggi, D Sangiorgi
Information and Computation 179 (1), 76-117, 2002
1632002
Computing Symbolic Models for Verifying Cryptographic Protocols.
MP Fiore, M Abadi
csfw, 160-173, 2001
1212001
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
1002008
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
991994
Semantic analysis of normalisation by evaluation for typed lambda calculus
M Fiore
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
942002
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
922004
A coinduction principle for recursive data types based on bisimulation
MP Fiore
Information and Computation 127 (2), 186-198, 1996
831996
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
632010
Second-order algebraic theories
M Fiore, O Mahmoud
International Symposium on Mathematical Foundations of Computer Science, 368-380, 2010
622010
Second-order and dependently-sorted abstract syntax
M Fiore
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 57-68, 2008
602008
Differential structure in models of multiplicative biadditive intuitionistic linear logic
MP Fiore
International Conference on Typed Lambda Calculi and Applications, 163-177, 2007
572007
Comparing operational models of name-passing process calculi
M Fiore, S Staton
Information and Computation 204 (4), 524-560, 2006
552006
Weak bisimulation and open maps
M Fiore, GL Cattani, G Winskel
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
501999
Mathematical models of computational and combinatorial structures
MP Fiore
International Conference on Foundations of Software Science and Computation …, 2005
452005
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
442006
Isomorphisms of generic recursive polynomial types
M Fiore
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
442004
The system can't perform the operation now. Try again later.
Articles 1–20