|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
EBOOKCENTRAL_ocn705979122 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
110307s1989 riua ob 100 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCF
|d OCLCO
|d CUI
|d UIU
|d OTZ
|d YDXCP
|d E7B
|d OCLCO
|d OCL
|d OCLCO
|d OCLCQ
|d EBLCP
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCQ
|d YOU
|d LIP
|d OCLCQ
|d LEAUB
|d OCLCQ
|d UAB
|d REDDC
|d UX1
|d VT2
|d OCLCQ
|d K6U
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 019 |
|
|
|a 814408973
|a 922980537
|a 1078106882
|a 1086534770
|a 1120892955
|a 1240461820
|a 1241948469
|a 1258905841
|a 1258948780
|a 1260321608
|a 1262671414
|a 1290115544
|
| 020 |
|
|
|a 9780821876800
|
| 020 |
|
|
|a 0821876805
|
| 020 |
|
|
|z 0821851004
|q (alk. paper)
|
| 020 |
|
|
|z 9780821851005
|q (alk. paper)
|
| 029 |
1 |
|
|a AU@
|b 000069468845
|
| 035 |
|
|
|a (OCoLC)705979122
|z (OCoLC)814408973
|z (OCoLC)922980537
|z (OCoLC)1078106882
|z (OCoLC)1086534770
|z (OCoLC)1120892955
|z (OCoLC)1240461820
|z (OCoLC)1241948469
|z (OCoLC)1258905841
|z (OCoLC)1258948780
|z (OCoLC)1260321608
|z (OCoLC)1262671414
|z (OCoLC)1290115544
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA76.9.M35
|b A47 1987
|
| 082 |
0 |
4 |
|a 004/.01/5
|2 20
|
| 049 |
|
|
|a UAMI
|
| 111 |
2 |
|
|a AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
|d (1987 :
|c University of Colorado, Boulder)
|
| 245 |
1 |
0 |
|a Categories in computer science and logic :
|b proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
|c John W. Gray and Andre Scedrov, editors.
|
| 260 |
|
|
|a Providence, R.I. :
|b American Mathematical Society,
|c ©1989.
|
| 300 |
|
|
|a 1 online resource (x, 382 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Contemporary mathematics,
|x 0271-4132 ;
|v v. 92
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2011.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2011
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record.
|
| 505 |
0 |
0 |
|t Models of Horn theories /
|r Michael Barr --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003191
|t Geometric invariance of existential fixed-point logic /
|r Andreas Blass --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003192
|t On the decidability of objects in a locos /
|r J. R. B. Cockett --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003193
|t The Dialectica categories /
|r V. C. V. de Paiva --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003194
|t Combinators /
|r Peter Freyd --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003195
|t POLYNAT in PER /
|r Peter Freyd --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003196
|t Towards a geometry of interaction /
|r Jean-Yves Girard --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003197
|t The category of sketches as a model for algebraic semantics /
|r John W. Gray --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003198
|t The theory of constructions: categorical semantics and topos-theoretic models /
|r J. Martin E. Hyland and Andrew M. Pitts --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003199
|t A simple model of the theory of constructions /
|r François Lamarche --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003200
|t Multicategories revisited /
|r J. Lambek --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003201
|t An application of minimal context-free intersection partitions to rewrite rule consistency checking /
|r Dana May Latch --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003202
|t Qualitative distinctions between some toposes of generalized graphs /
|r F. William Lawvere --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003203
|t Typed lambda models and Cartesian closed categories (preliminary version) /
|r John C. Mitchell and Philip J. Scott --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003204
|t Some connections between models of computation /
|r Philip S. Mulry --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003205
|t Some applications of categorical model theory /
|r Robert Paré --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003206
|t Coherence for bicategories with finite bilimits. I /
|r A. J. Power --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003207
|t On partial Cartesian closed categories /
|r Leopoldo Román --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003208
|t Normalization revisited /
|r Andre Scedrov --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003209
|t Linear logic, $*$-autonomous categories and cofree coalgebras /
|r R. A. G. Seely --
|u http://www.ams.org/conm/092/
|u http://dx.doi.org/10.1090/conm/092/1003210
|
| 546 |
|
|
|a English.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|v Congresses.
|
| 650 |
|
0 |
|a Categories (Mathematics)
|v Congresses.
|
| 650 |
|
6 |
|a Catégories (Mathématiques)
|v Congrès.
|
| 650 |
|
6 |
|a Informatique
|x Mathématiques
|v Congrès.
|
| 650 |
|
7 |
|a Categories (Mathematics)
|2 fast
|
| 650 |
|
7 |
|a Computer science
|x Mathematics
|2 fast
|
| 650 |
|
7 |
|a Informatique
|x Mathématiques
|x Congrès.
|2 ram
|
| 650 |
|
7 |
|a Catégories (Mathématiques)
|x Congrès.
|2 ram
|
| 655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
| 700 |
1 |
|
|a Gray, John W.
|q (John Walker),
|d 1931-
|1 https://id.oclc.org/worldcat/entity/E39PBJrCfbthG36KRWvJpFt3Qq
|
| 700 |
1 |
|
|a Ščedrov, Andrej,
|d 1955-
|1 https://id.oclc.org/worldcat/entity/E39PCjBQt99d7PftbCqvBDDxwC
|
| 710 |
2 |
|
|a National Science Foundation (U.S.)
|
| 758 |
|
|
|i has work:
|a Categories in computer science and logic (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCG7dPmy6VDB9f6Q6rRVHYd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder).
|t Categories in computer science and logic.
|d Providence, R.I. : American Mathematical Society, ©1989
|w (DLC) 89032893
|w (OCoLC)19628008
|
| 830 |
|
0 |
|a Contemporary mathematics (American Mathematical Society) ;
|v ; v. 92.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3112902
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3112902
|
| 938 |
|
|
|a ebrary
|b EBRY
|n ebr10873065
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 11827045
|
| 994 |
|
|
|a 92
|b IZTAP
|
