عنوان

Applications of categories in computer science :

شابک

0521427266

شابک

9780521427265

شماره

b510585

عنوان اصلي

Applications of categories in computer science :

نام عام مواد

[Book]

ساير اطلاعات عنواني

proceedings of the LMS Symposium, Durham 1991 /

نام نخستين پديدآور

edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Cambridge University Press,

تاریخ نشرو بخش و غیره

1992.

نام خاص و کميت اثر

339 p. :

ساير جزييات

ill. ;

ابعاد

23 cm.

عنوان فروست

London Mathematical Society lecture note series ;

مشخصه جلد

177

متن يادداشت

"The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991"--Pref.

متن يادداشت

Includes bibliographical references.

متن يادداشت

Computational comonads and intensional semantics / Stephen Brookes, Shai Geva -- Weakly distributive categories / J.R.B. Cockett, R.A.G. Seely -- Sequentiality and full abstraction / P.-L. Curien -- Remarks on algebraically compact categories / Peter Freyd -- Dinaturality for free / Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini -- Simply typed and untyped lambda calculus revisited / Bart Jacobs -- Modelling reduction in confluent categories / C. Barry Jay -- On clubs and data-type constructors / G.M. Kelly -- Penrose diagrams and 2-dimensional rewriting / Yves Lafont -- Strong monads, algebras and fixed points / Philip S. Mulry -- Semantics of local variables / P.W. O'Hearn, R.D. Tennent -- Using fibrations to understand subtypes / Wesley Phoa -- Reasoning about sequential functions via logical relations / Kurt Sieber -- I-categories and duality / M.B. Smyth -- Geometric theories and databases / Steven Vickers -- Partial products, bagdomains and hyperlocal toposes / P.T. Johnstone.

بدون عنوان

0

موضوع مستند نشده

Categories (Mathematics), Congresses.

موضوع مستند نشده

Computer science-- Mathematics, Congresses.

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Fourman, M. P.,1950-

مستند نام اشخاص تاييد نشده

Johnstone, P. T.

مستند نام اشخاص تاييد نشده

Pitts, A. M., (Andrew M.)

مستند نام تنالگان تاييد نشده

LMS Durham Symposium, (1991)

تاريخ عمليات

20120212075421.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y