by FIORE, Marcelo P
Published in Lecture notes in computer science (2005)

by Fiore, Marcelo P., Pitts, Andrew M., Steenkamp, S. C.
Published in Logical methods in computer science (01.01.2022)

by FIORE, Marcelo P, ROSOLINI, Giuseppe
Published in Theoretical computer science (2001)

by Fiore, Marcelo P, Pitts, Andrew M, Steenkamp, S C
Published in arXiv.org (06.06.2022)

by Fiore, Marcelo P., Rosolini, Giuseppe
Published in Theoretical computer science (2001)

by Fiore, Marcelo P
Published in Science of computer programming (01.01.1999)

by Fiore, Marcelo P.
Published in Information and computation (15.06.1996)

by Cattani, Gian Luca, Fiore, Marcelo P.
Published in Electronic notes in theoretical computer science (01.04.2007)

by Fiore, Marcelo P., Rosolini, Giuseppe
Published in Journal of pure and applied algebra (28.03.1997)

by Abadi, M., Fiore, M.P.
Published in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)

by Fiore, Marcelo P.
Published in Typed Lambda Calculi and Applications

by Fiore, Marcelo P.
Published in Foundations of Software Science and Computational Structures

by Fiore, Marcelo P
Year of Publication 1994

by Fiore, Marcelo P
Published in Science of Computer Programming (1999)