skip to main content

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1290 ) e outros locais(Acessar)

  • Título:
    Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
  • Autor: Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)
  • Assuntos: Categories (Mathematics) -- Congresses; Computer science -- Mathematics -- Congresses; LÓGICA MATEMÁTICA; TEORIA DA COMPUTAÇÃO; TEORIA DA COMPUTAÇÃO
  • Notas: Includes bibliographical references
  • Descrição: An introduction to n-categories / John C. Baez -- Allegories as a basis for algorithmics / Richard S. Bird -- Separating shape from data / C. Barry Jay -- A factorisation theorem in rewriting theory / Paul-André Melliés -- Mona ds and modulartermrewriting / Christoph Lueth, Neil Ghani -- A 2-categorical presentation of term graph rewriting / Andrea Corradini, Fabio Gadducci -- Presheaf models for the [pi]-calculus / Gian Luca Cattani, Ian Stark, Glynn Winskel -- Categoricalmodelling ofstructural operational rules : case studies / Daniele Turi -- Specifying interaction categories / Dusko Pavloviâc, Samson Abramsky -- Shedding new light in the world of logical systems / Uwe W olter, Alfio Martini -- Combining andrepresentinglogical systems / Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski -- A deciding algorithm for linear isomorphism of types with complexity O(n logp2s(n)) / Alexander Andre ev, Sergei Soloviev -- Effectiveness of the globalmodulus ofcontinuity on metric spaces / Klaus Weihrauc
  • Títulos relacionados: Série:Lecture notes in computer science 1290
  • Editor: Berlin Springer-Verlag New York
  • Data de publicação: c1997
  • Formato: 313 p. il. 24 cm.
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.