| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001470219707536 |
|
|
Autore |
Deutsche Gesellschaft fur Unternehmensforschung <Munchen> |
|
|
Titolo |
Unternehmensforschung heute : ubersichtsvortrage der Zuricher Tagung von SVOR und DGU, September 1970 / herausgegeben von M. Beckmann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; New York : Springer-Verlag, 1971 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in operations research and mathematical systems ; 50 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Altri autori (Enti) |
|
Schweizerische Vereinigung fur Operations Research <Zurich> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Operations research - Congresses |
Production theory - Congresses |
Programming languages - Congresses |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910788788403321 |
|
|
Titolo |
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [1989] |
|
©1989 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (394 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, , 0271-4132 ; ; volume 92 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Mathematics |
Categories (Mathematics) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"The AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic was held at University of Colorado, Boulder, Colo., on June 14-20, 1987 with support from the National Science Foundation"--T.p verso. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Preface""; ""Models of Horn theories""; ""Geometric invariance of existential fixed-point logic""; ""On the decidability of objects in a locos""; ""The Dialectica categories""; ""Combinators""; ""Polynat in per""; ""Towards a geometry of interaction""; ""The category of sketches as a model for algebraic semantics""; ""The theory of constructions: Categorical semantics and topos-theoretic models""; ""Introduction""; ""1. The theory of constructions""; ""2. Categorical interpretation of type theories""; ""3. Lim theories""; ""4. Algebraic toposes"" |
""5. Localic algebraic toposes""""References""; ""A simple model of the theory of constructions""; ""Multicategories revisited""; ""An application of minimal context-free intersection partitions to rewrite rule consistency checking""; ""Qualitative distinctions between some toposes of generalized graphs""; ""Typed lambda models and cartesian closed categories""; ""Some connections between models of computation""; ""Some applications of categorical model theory""; ""Coherence for bicategories with finite Bilimits I""; ""On partial Cartesian closed |
|
|
|
|
|
|
|
|
|
|
categories""; ""Normalization revisited"" |
""Linear logic, *-autonomous categories and cofree coalgebras"" |
|
|
|
|
|
| |