From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Abelian Categories / An Introduction to the Theory of Functors

P. Freyd. Harper & Row, (1964)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Abelian Categories / An Introduction to the Theory of FunctorsP. Freyd. Harper & Row, (1964)Aspects of topoiP. Freyd. Bulletin of the Australian Mathematical Society, 7 (01): 1--76 (августа 1972)Abelian CategoriesP. Freyd. Harper & Row, (1964)Structural Polymorphism.P. Freyd. Theor. Comput. Sci., 115 (1): 107-129 (1993)Extensional PERsP. Freyd, P. Mulry, G. Rosolini, и D. Scott. Inf. Comput., 98 (2): 211-227 (июня 1992)Functorial Polymorphism.E. Bainbridge, P. Freyd, A. Scedrov, и P. Scott. Theor. Comput. Sci., 70 (1): 35-64 (1990)Some Semantic Aspects of Polymorphic Lambda CalculusP. Freyd, и A. Scedrov. LICS, стр. 315-319. IEEE Computer Society, (1987)Logic Programming in Tau Categories.S. Finkelstein, P. Freyd, и J. Lipton. CSL, том 933 из Lecture Notes in Computer Science, стр. 249-263. Springer, (1994)Recursive Types Reduced to Inductive TypesP. Freyd. LICS, стр. 498-507. IEEE Computer Society, (1990)Functorial ParametricityP. Freyd, E. Robinson, и G. Rosolini. LICS, стр. 444-452. IEEE Computer Society, (1992)