Categorical Methods in Computer Science With Aspects from by Hartmut Ehrig (auth.), H. Ehrig, H. Herrlich, H. -J.

By Hartmut Ehrig (auth.), H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß (eds.)

This quantity comprises chosen papers of the foreign Workshop on "Categorical equipment in desktop technological know-how - with points from Topology" and of the "6th overseas information kind Workshop" held in August/September 1988 in Berlin. The 23 papers of this quantity are grouped into 3 components: Part 1 comprises papers on specific foundations and basic innovations from class thought in machine technology. Part 2 offers functions of specific how you can algebraic specification languages and strategies, facts kinds, information bases, programming, and technique necessities. Part 3 contains papers on categorial points from topology which frequently be aware of distinct adjoint events like cartesian closeness, Galois connections, reflections, and coreflections that are of transforming into curiosity in specific topology and machine science.

Show description

Read or Download Categorical Methods in Computer Science With Aspects from Topology PDF

Similar geometry and topology books

Famous problems of elementary geometry: the duplication of the cube, the trisection of an angle, the quadrature of the circle: an authorized translation of F. Klein's Vorträge

Greatly considered as a vintage of recent arithmetic, this accelerated model of Felix Klein's celebrated 1894 lectures makes use of modern options to check 3 well-known difficulties of antiquity: doubling the quantity of a dice, trisecting an attitude, and squaring a circle. present day scholars will locate this quantity of specific curiosity in its solutions to such questions as: less than what conditions is a geometrical development attainable?

Additional resources for Categorical Methods in Computer Science With Aspects from Topology

Example text

Meseguer and J. A. Goguen, Initiality, induction, and computability, in JAMS], 458 542. A. R. Meyer, What is a model of the lambda calculus? Information and Control 52 (1982), [Meyer 82] 87 - 122. [Milner 78] R. Milner, A theory of type polymorphism in programming, J. Comp. Syst. Sci. 17 (1978), 348 -375. J. C. Mitchell and P. Scott, Typed Lambda Models and Cartesian Closed Categories, in [Mitchell, Scott 89] [CCSL], to appear. [Oles 85] F. J. Oles, Type algebras, functor categories and block structure, in [AVIS], 543 - 576.

Coquand, Extensional Models for Polymorphism, ProceeAing TAPSOFT '87 - CFLP, Pisa, 1987. B. Bruce and (3. Longo, A modest model of records, inheritance and bounded quantification, in [LICS 88], 38 - 50. [Carboni et a187] A. Carboni, P. J. Freyd and A. Scedrov, A categorical approach to realizability and polymorphic types, in [LNCS 298], 23 - 42. [Cardelli, Wegner 85] L. Cardelli and P. Wegner, On understanding types, data abstraction and polymorphism, Computing Surveys 17(4)(1985), 471 - 522. [Coppey, Lair 84a] L.

Math 14(1966), 89 - 106. P. J. Freyd, Aspects of Topoi, Bull. Auslral. Math. Soc. 7 (1972), 1 - 72. [Freyd 72] P. J. Freyd, POLYNAT in PER, in [CCSL], to appear. [Freyd 89] P. J. Freyd, J. Y. Girard, A. Scedrov, and P. J. Scott, Semantic Parametricity in [Freyd et al-88] polymorphic lambda calculus, in [LICS 88], 274 - 281. [Freyd, Scedrov 87] P. Freyd and A. Scedrov, Some semantic aspects of polymorphic lambda calculus, in [-LICS 87], 315 - 319. [Girard 71] J. Y. Girard, Une extension de l'interpretation de G6del a ranalyse et son application a l'elimination des coupures dans l'analyse et la theorie des types, Proc.

Download PDF sample

Rated 4.58 of 5 – based on 24 votes