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
4771999
Axiomatic domain theory in categories of partial maps
MP Fiore
Cambridge University Press, 2004
1752004
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
M Fiore, M Abadi
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., 160-173, 2001
1242001
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
1051994
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
1042008
Semantic analysis of normalisation by evaluation for typed lambda calculus
M Fiore
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
1032002
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
741996
Second-order equational logic
M Fiore, CK Hur
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
692010
Second-order algebraic theories
M Fiore, O Mahmoud
International Symposium on Mathematical Foundations of Computer Science, 368-380, 2010
672010
Syntactic considerations on recursive types
M Abadi, MP Fiore
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 242-252, 1996
671996
Second-order and dependently-sorted abstract syntax
M Fiore
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 57-68, 2008
662008
Differential structure in models of multiplicative biadditive intuitionistic linear logic
MP Fiore
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
582007
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
511999
Mathematical Models of Computational and Combinatorial Structures: (Invited Address)
MP Fiore
Foundations of Software Science and Computational Structures: 8th …, 2005
472005
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
452006
Isomorphisms of generic recursive polynomial types
M Fiore
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
452004
The system can't perform the operation now. Try again later.
Articles 1–20