Your search returned 16 results. Subscribe to this search

|
1.  Monographies, textes Categorical combinators, sequential algorithms and functional programming [] / P.-L. CurienPublication :London : Pitman, New York : John Wiley, 1986Description : 1 vol. (300 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3107] (1).
2.  Monographies, textes Categories for the working mathematician [] / Saunders Mac LanePublication :New York : Springer-Verlag, 1971Description : 1 vol. (IX-262 p.) : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAC] (1).
3.  Monographies, textes Categories for types [] / Roy L. Crole,...Publication :Cambridge, New York : Cambridge University Press, cop. 1993Description : 1 vol. (XVII-335 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1438] (1).
4.  Monographies, textes Categories, types, and structures [] : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe LongoPublication :Cambridge, Mass. : MIT Press, cop. 1991Description : 1 vol. (XI-306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-560] (1).
5.  Monographies, textes Category theory for computing science / Michael Barr, Charles WellsPublication :New York : Prentice Hall, 1990Description : xv, 432 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6860] (1).
6. Congrès COMPUTING WITH CATEGORIES. / {R. Burstall, D. Rydeheard}Publication :EDINBURGH : LFCS, 1986Description : 01 VOL.,14 P. : 8 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5101] (1).
7. Congrès DEDUCTION (DE LA) NATURELLE A LA MACHINE CATEGORIQUE / {Y. Lafont}Publication :ROCQUENCOURT : INRIA, 1987Description : 01 VOL.,38 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3932] (1).
8. Congrès EXTENSION (AN) OF SYSTEM F WITH SUBTYPING. / {L. Cardelli, J. Mitchell, S. Martini, A. Scedrov}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,42 P. : 26 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI14106] (1).
9. Congrès FUNCTOR-CATEGORY SEMANTICS OF PROGRAMMING LANGUAGES AND LOGICS. / {R. Tennent}Publication :EDINBURGH : LFCS, 1986Description : 01 VOL.,23 P. : 16 RF ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5102] (1).
10.  Monographies, textes Introduction to higher order categorical logic [] / J. Lambek,... P.J. Scott,...Publication :Cambridge, New York, Melbourne : Cambridge university press, 1988Description : 1 vol. (X-293 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5046] (1).
11. Thèses Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique [Texte imprimé] / Yves Lafont ; sous la direction de Jean-Yves GirardPublication :[S.l.] : [s.n.], 1988Description : 1 vol. (124 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3787] (1).
12. Thèses RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS / THERESE HARDIN-ACCART ; SOUS LA DIRECTION DE PIERRE-LOUIS CURIENPublication :[S.l.] : [s.n.], 1987Description : 238 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3763] (1).
13. Congrès Semantics of Programming languages : Structures and techniquesPublication :Cambridge : MIT, 1992Description : 419 P., 274 RF ; 22 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1388] (1).
14. Congrès SOME FUNDAMENTAL ALGEBRAIC TOOLS FOR THE SEMANTICS OF COMPUTATION PART.3,INDEXED CATEGORIES. / {A. Tarlecki, J. Goguen, R. Burstall}Publication :EDINBURGH : LFCS, 1988Description : 01 VOL.,31 P. : PR 4 ; 21 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5090] (1).
15. Congrès STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 / edited by B. Monien and G. Vidal-NaquetPublication :Berlin : Springer-Verlag, 1985Description : ix, 368 p.Availability: Copies available for reference: Centre de recherche en informatique[ORS 86] (1).
16. Congrès THEORIE (LA) DES CATEGORIES APPLIQUEE A LA FORMALISATION DU TYPAGE D'UN LANGAGE FONCTIONNEL DE MANIPULATION D'OBJETS COMPLEXES. / {C. Campioni}Publication :S.L. : [s.n.], 1989Description : 01 VOL.,27 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6675] (1).

Powered by Koha

//]]>