Παρακολούθηση
Marcelo Fiore
Marcelo Fiore
Professor in Mathematical Foundations of Computer Science
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cl.cam.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
5131999
Axiomatic domain theory in categories of partial maps
MP Fiore
Cambridge University Press, 2004
1822004
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
M Fiore, M Abadi
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., 160-173, 2001
1232001
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
1212008
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
1062002
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 equational logic
M Fiore, CK Hur
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010
772010
Second-order and dependently-sorted abstract syntax
M Fiore
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 57-68, 2008
772008
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
Second-order algebraic theories
M Fiore, O Mahmoud
International Symposium on Mathematical Foundations of Computer Science, 368-380, 2010
732010
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
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
672007
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
M Fiore, N Gambino, M Hyland, G Winskel
Selecta Mathematica 24 (3), 2791-2830, 2018
572018
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
522013
Mathematical Models of Computational and Combinatorial Structures: (Invited Address)
MP Fiore
Foundations of Software Science and Computational Structures: 8th …, 2005
512005
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20