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
5161999
Axiomatic domain theory in categories of partial maps
MP Fiore
Cambridge University Press, 2004
1842004
A fully abstract model for the π-calculus
MP Fiore, E Moggi, D Sangiorgi
Information and Computation 179 (1), 76-117, 2002
1642002
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
1242008
Computing symbolic models for verifying cryptographic protocols
M Fiore, M Abadi
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., 160-173, 2001
1232001
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
1121994
Semantic analysis of normalisation by evaluation for typed lambda calculus
M Fiore
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
1082002
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
841996
Second-order and dependently-sorted abstract syntax
M Fiore
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 57-68, 2008
822008
Second-order equational logic
M Fiore, CK Hur
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
792010
Second-order algebraic theories
M Fiore, O Mahmoud
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
762010
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
751996
Syntactic considerations on recursive types
M Abadi, MP Fiore
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 242-252, 1996
721996
Differential structure in models of multiplicative biadditive intuitionistic linear logic
MP Fiore
International Conference on Typed Lambda Calculi and Applications, 163-177, 2007
682007
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
M Fiore, N Gambino, M Hyland, G Winskel
Selecta Mathematica 24, 2791-2830, 2018
632018
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
541999
The algebra of directed acyclic graphs
M Fiore, M Devesas Campos
Computation, Logic, Games, and Quantum Foundations. The Many Facets of …, 2013
532013
Mathematical Models of Computational and Combinatorial Structures: (Invited Address)
MP Fiore
International Conference on Foundations of Software Science and Computation …, 2005
522005
The system can't perform the operation now. Try again later.
Articles 1–20