skip to main content
Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applications of categories in computer science : proceedings of the LMS symposium
Material Type:
Livre
Ajouter à Mon espace

Applications of categories in computer science : proceedings of the LMS symposium

Congrès 1991 Durham. ; Fourman, Michael Paul (1950-....) ; Johnstone, Peter T. (1948-....) ; Pitts, Andrew M.

Cambridge : Cambridge University Press, 1992

Voir les exemplaires

2
Material Type:
Thèse
Ajouter à Mon espace

Type theoretical topics in topos theory.

De Vries, Ferdinand Jan.

S.l. : s.n., 1989

Voir les exemplaires

3
Material Type:
Versions multiples

Categories for the working mathematician

Mac Lane, Saunders (1909-2005)

Plusieurs versions trouvées
Il y a 3 versions

4
Algebraic set theory.
Material Type:
Livre
Ajouter à Mon espace

Algebraic set theory.

Joyal, André ; Moerdijk, Ieke (1958-....)

Cambridge : Cambridge University Press, 1995

Voir les exemplaires

5
Toposes and local set theories : an introduction
Material Type:
Livre
Ajouter à Mon espace

Toposes and local set theories : an introduction

Bell, John Lane (1945-....)

Oxford : Clarendon Press, 1988

Voir les exemplaires

6
Material Type:
Versions multiples

Categories for types

Crole, Roy L.

Plusieurs versions trouvées
Il y a 2 versions

7
Mathematics of information processing
Material Type:
Acte de conférence
Ajouter à Mon espace

Mathematics of information processing

Anshel, Michael (1941-....) ; Gewirtz, William (1948-....)

Providence, R.I. : American Mathematical Society, 1986

Voir les exemplaires

8
Basic category theory for computer scientists
Material Type:
Livre
Ajouter à Mon espace

Basic category theory for computer scientists

Pierce, Benjamin C.

Cambridge Mass. London : MIT Press, 1991

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

FUNCTOR-CATEGORY SEMANTICS OF PROGRAMMING LANGUAGES AND LOGICS.

EDINBURGH : LFCS, 1986

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

SOME FUNDAMENTAL ALGEBRAIC TOOLS FOR THE SEMANTICS OF COMPUTATION PART.3,INDEXED CATEGORIES.

EDINBURGH : LFCS, 1988

Voir les exemplaires

11
Conceptual mathematics : a first introduction to categories
Material Type:
Livre
Ajouter à Mon espace

Conceptual mathematics : a first introduction to categories

Lawvere, Francis William (1937-....) ; Schanuel, Stephen Hoel‎ (1933-....)

Cambridge : Cambridge University Press, 1997

Voir les exemplaires

12
Memory evolutive systems : hierarchy, emergence, cognition
Material Type:
Livre
Ajouter à Mon espace

Memory evolutive systems : hierarchy, emergence, cognition

Ehresmann, Andrée Charles. ; Vanbremeersch, Jean-Paul.

Amsterdam Boston Paris etc. : Elsevier, 2007

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

COMPUTING WITH CATEGORIES.

EDINBURGH : LFCS, 1986

Voir les exemplaires

14
Categorical logic and type theory
Material Type:
Thèse
Ajouter à Mon espace

Categorical logic and type theory

Jacobs, Bart (1963-....)

Amsterdam Lausanne New York etc. : Elsevier, 1999

Voir les exemplaires

15
Category theory 1991 : proceedings of the International Summer Category Theory Meeting held June 23-30, 1991
Material Type:
Livre
Ajouter à Mon espace

Category theory 1991 : proceedings of the International Summer Category Theory Meeting held June 23-30, 1991

Congrès Montreal 1991. ; Seely, Robert A. G.

Providence RI : American mathematical society Canadian Mathematical Society, 1991

Voir les exemplaires

16
Category theory and computer science : Edinburgh, UK, September 7-9, 1987, proceedings
Material Type:
Acte de conférence
Ajouter à Mon espace

Category theory and computer science : Edinburgh, UK, September 7-9, 1987, proceedings

Conference on category theory and computer science 2 1987 Édimbourg, GB. ; Pitt, David H. (1946-....) ; Poigné, Axel ; Rydeheard, David E. (1954-....)

Berlin New York Paris etc. : Springer-Verlag, 1987

Voir les exemplaires

17
Shape theory : categorical methods of approximation
Material Type:
Livre
Ajouter à Mon espace

Shape theory : categorical methods of approximation

Cordier, J.-M. ; Porter, Timothy (1947-....)

Chichester New York NY Brisbane : Ellis Horwood Halsted Press Wiley, 1989

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

EXTENSION (AN) OF SYSTEM F WITH SUBTYPING.

S.L. : s.n., 1991

Voir les exemplaires

19
Material Type:
Versions multiples

Categories, types, and structures : an introduction to category theory for the working computer scientist

Asperti, Andréa (1961-....) ; Longo, Giuseppe (1947-....)

Plusieurs versions trouvées
Il y a 2 versions

20
Material Type:
Livre
Ajouter à Mon espace

THEORIE (LA) DES CATEGORIES APPLIQUEE A LA FORMALISATION DU TYPAGE D'UN LANGAGE FONCTIONNEL DE MANIPULATION D'OBJETS COMPLEXES.

S.L. : s.n., 1989

Voir les exemplaires

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (10)
  2. Articles  (9)
  3. Autres  (7)
  4. Livres  (74)
  5. Thèses  (5)
  6. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1974  (21)
  2. 1974 à 1986  (20)
  3. 1987 à 1995  (27)
  4. 1996 à 2007  (18)
  5. Après 2007  (26)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré