Portal de Periódicos da CAPES

Artigo Produção Nacional Revisado por pares

BIBTEX RIS

Towards a uniform presentation of logical systems by indexed categories and adjoint situations

2012; Oxford University Press; Volume: 25; Issue: 1 Linguagem: Inglês

10.1093/logcom/exs038

1465-363X

Uwe Wolter, Alfio Martini, E.H. Häusler,

Logic, programming, and type systems

Journal Article Towards a uniform presentation of logical systems by indexed categories and adjoint situations Get access U. Wolter, U. Wolter Department of Informatics, University of Bergen, Norway.E-mail: Uwe.Wolter@ii.uib.no Search for other works by this author on: Oxford Academic Google Scholar A. Martini, A. Martini Faculdade de Informática, PUCRS, Brasil.E-mail: alfio.martini@pucrs.br Search for other works by this author on: Oxford Academic Google Scholar E. H. Häusler E. H. Häusler Departamento de Ciência da Computação, PUC-Rio, Brasil.E-mail: hermann@inf.puc-rio Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 25, Issue 1, February 2015, Pages 57–93, https://doi.org/10.1093/logcom/exs038 Published: 03 September 2012 Article history Received: 26 January 2012 Published: 03 September 2012