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
Material Type:
Versions multiples

An Introduction to mathematical logic and type theory : to truth through proof

Andrews, Peter B.

Plusieurs versions trouvées
Il y a 2 versions

2
Material Type:
Versions multiples

Type theory and functional programming.

Thompson, Simon.

Plusieurs versions trouvées
Il y a 2 versions

3
Computation and reasoning : a type theory for computer science
Material Type:
Livre
Ajouter à Mon espace

Computation and reasoning : a type theory for computer science

Luo, Zhaohui.

Oxford : Clarendon Press, 1994

Voir les exemplaires

4
Theories of types and proofs
Material Type:
Livre
Ajouter à Mon espace

Theories of types and proofs

Takahashi, Masako ; Okada, Mitsuhiro (1954-....) ; Dezani-Ciancaglini, Mariangiola

Tokyo : Mathematical Society of Japan, 1998

Voir les exemplaires

5
Material Type:
Versions multiples

Categories for types

Crole, Roy L.

Plusieurs versions trouvées
Il y a 2 versions

6
The Logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution
Material Type:
Livre
Ajouter à Mon espace

The Logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution

Carpenter, Bob.

Cambridge : Cambridge University Press, 1992

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

SEMANTIC (A) BASIS FOR QUEST.

S.L. : s.n., 1990

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

TYPEFUL PROGRAMMING.

PALO-ALTO : DIGITAL, 1989

Voir les exemplaires  et autres localisations

9
Material Type:
Thèse
Ajouter à Mon espace

NON-TYPE-THEORETIC (A) SEMANTICS FOR TYPE-THEORETIC LANGUAGE.

Allen, S.F.

s.l. : s.n., 1987

Voir les exemplaires

10
CHECKING C PROGRAMS WHIH LINT.
Material Type:
Livre
Ajouter à Mon espace

CHECKING C PROGRAMS WHIH LINT.

Beijing, Cambridge, Farnham, Köln, Sebastopol, Taipei, Tokyo : O'Reilly, 1986

Voir les exemplaires

11
Modern perspectives in type-theoretical semantics
Material Type:
Livre
Ajouter à Mon espace

Modern perspectives in type-theoretical semantics

Chatzikyriakidis, Stergios ; Luo, Zhaohui

Cham : Springer, 2017

Voir les exemplaires

12
Material Type:
Versions multiples

Formal Parametric Polymorphism

Abadi, Martín ; Curien, Pierre-Louis ; Cardelli, Luca (1954-....)

Plusieurs versions trouvées
Il y a 2 versions

13
Material Type:
Livre
Ajouter à Mon espace

EXTENSIBLE RECORDS IN A PURE CALCULUS OF SUBTYPING.

s.n., 1992

Voir les exemplaires

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

Categorical type theory

Jacobs, Bart (1963-....) ; Barendregt, Hendrik Pieter (1947-....) ; Moerdijk, Ieke (1958-....) ; Dalen, Dirk van (1932-....) ; Hyland, J. M. E. ; Veldman, W. H. M.

Meppel : Krips Repro, 1991

Voir les exemplaires

15
Two-level functional languages.
Material Type:
Livre
Ajouter à Mon espace

Two-level functional languages.

Nielson, Flemming. ; Nielson, Hanne Riis.

Cambridge : Cambridge University Press, 1992

Voir les exemplaires

16
Typage polymorphe d'un langage algorithmique
Material Type:
Thèse
Ajouter à Mon espace

Typage polymorphe d'un langage algorithmique

S.L. : s.n., 1992

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

CONSTRUCTING TYPE SYSTEMS OVER AN OPERATIONAL SEMANTICS.

EDINBURGH : LFCS, 1988

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

ON FUNCTORS EXPRESSIBLE IN THE POLYMORPHIC TYPED LAMBDA CALCULUS.

EDINBURGH : LFCS, 1988

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

DYNAMIC TYPING IN A STATICALLY TYPED LANGUAGE.

Abadi, Martín ; Plotkin, Gordon (1946-....) ; Pierce, Benjamin C. ; Cardelli, Luca (1954-....)

Palo-Alto : Digital, 1989

Voir les exemplaires  et autres localisations

20
DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS.
Material Type:
Thèse
Ajouter à Mon espace

DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS.

ROCQUENCOURT : INRIA, 1991

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  (1)
  2. Archives  (1)
  3. Articles  (14)
  4. Autres  (4)
  5. Livres  (162)
  6. Thèses  (24)
  7. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1986  (8)
  2. 1986 à 1992  (71)
  3. 1993 à 1999  (45)
  4. 2000 à 2007  (47)
  5. Après 2007  (36)
  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é