Mathematical Structures in Computer Science, Volume 15
Volume 15, Number 1, February 2005
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel: Compositional semantics for open Petri nets based on deterministic processe. 1-35- Frédéric Blanqui: Definitions by rewriting in the Calculus of Constructions. 37-92
- Jan J. M. M. Rutten: A coinductive calculus of streams. 93-147
- Stefano Berardi: Classical logic as limit completion. 167-200
Volume 15, Number 2, April 2005
- Patricia Johann: On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi. 201-229
- Matthieu Picantin: Garside monoids vs divisibility monoids. 231-242
- Robert Goldblatt: A comonadic account of behavioural covarieties of coalgebras. 243-269
- Jean Goubault-Larrecq: Extensions of valuations. 271-297
- Dieter Spreen: The largest Cartesian closed category of domains, considered constructively. 299-321
- Masahito Hasegawa: Classical linear logic of implications. 323-342
- Maribel Fernández, Ian Mackie, François-Régis Sinot: Closed reduction: explicit substitutions without alpha-conversion. 343-381
- K. Subramani: Periodic Linear Programming with applications to real-time scheduling. 383-406
Volume 15, Number 3, June 2005
- Lawrence S. Moss: Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science. 407-408
- Neil Ghani, Christoph Lüth, Federico De Marchi: Monads of coalgebras: rational terms and term graphs. 433-451
- James Worrell: A note on coalgebras and presheaves. 475-483
Volume 15, Number 4, August 2005
- Thomas Ehrhard: Finiteness spaces. 615-646
- Ernst-Erich Doberkat: Semi-pullbacks for stochastic relations over analytic spaces. 647-670
- Lars Birkedal, Rasmus Ejlers Møgelberg: Categorical models for Abadi and Plotkin's logic for parametricity. 709-772
- Giorgio Busatto, Hans-Jörg Kreowski, Sabine Kuske: Abstract hierarchical graph transformation. 773-819
Volume 15, Number 5, October 2005
- Sergei Soloviev: Foreword. 821-823
- Roberto Di Cosmo: A short survey of isomorphisms of types. 825-838
- Gilles Barthe: A computational view of implicit coercions in type theory. 839-874
- David Chemouil: Isomorphisms of simple inductive types through extensional rewriting. 875-915
- Bernard Lang: Matching with multiplication and exponentiation (extended abstract). 959-968
- Olivier Laurent: Classical isomorphisms of types. 969-1004
Volume 15, Number 6, December 2005
- Robin Milner: Axioms for bigraphical structure. 1005-1032
- Maria Emilia Maietti: Modular correspondence between dependent type theories and categories including pretopoi and topoi. 1089-1149
- Sergey Slavnov: From proof-nets to bordisms: the geometric meaning of multiplicative connectives. 1151-1178
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team