Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas (born 1951) is a Portuguese mathematical logician whose research topics have included object-oriented specification languages and logics for information systems, and the use of category theory in the combination ("fibring") of multiple types of logic. She is Professor for Logic and Computation in the Department of Mathematics of the Technical University of Lisbon. Provided by Wikipedia
1
by Carnielli, Walter., Carnielli, Walter., Coniglio, Marcelo., Gabbay, Dov M., Gouveia, Paula., Sernadas, Cristina.
Published 2008
Other Authors: ';
“...Sernadas, Cristina....”Published 2008
Get full text
