A transfinite type theory with type variables :: SCD d'Orléans

A transfinite type theory with type variables

A transfinite type theory with type variables

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Andrews, Peter Bruce, 1937-
Formáid:	Livre papier
Teanga:	Anglais
Foilsithe / Cruthaithe:	Amsterdam : North-Holland C 1965.
Sraith:	Studies in logic and the foundations of mathematics
Ábhair:	Théorie des types
Autres localisations:	Voir dans le Sudoc

Míreanna comhchosúla

The theory of sets and transfinite numbers
de réir: Rotman, Brian, 1938-, et al.
Foilsithe / Cruthaithe: (1966)

Computational semantics in type theory
de réir: Ranta, Aarne
Foilsithe / Cruthaithe: (2006)

Avant propos sur la théorie constructive des types
de réir: Bourdeau, Michel, et al.
Foilsithe / Cruthaithe: (2006)

Proof Theory of Martin-Löf Type Theory. An overview
de réir: Setzer, Anton
Foilsithe / Cruthaithe: (2006)

Early-type variables in the Magellanic Clouds
de réir: A. Pigulski, et al.
Foilsithe / Cruthaithe: (2002)

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most
de réir: Retoré, Christian
Foilsithe / Cruthaithe: (2012)

Pristine Transfinite Graphs and Permissive Electrical Networks
de réir: Zemanian, Armen H., 1925-2024

Transfinite Zahlen
de réir: Bachmann, Heinz, 1924-...., mathématicien
Foilsithe / Cruthaithe: (1967)

À propos des notions de type de temps et de type de circulation
de réir: Durand-Dastès, François
Foilsithe / Cruthaithe: (2008)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
de réir: Andrews, Peter Bruce, 1937-

Type idéal
de réir: Paugam, Serge
Foilsithe / Cruthaithe: (2014)

The B-type variable HD 131120 modelled by rotational modulation
de réir: M. Briquet, et al.
Foilsithe / Cruthaithe: (2001)

Types for proofs and programs : International Workshop TYPES 96 Aussois, France, December 15 19, 1996 : selected papers

Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers

Un siècle de « type de temps »
de réir: Vigneau, Jean-Pierre
Foilsithe / Cruthaithe: (2008)

« Genre » ou « type » de discours ?
de réir: Husianycia, Magali
Foilsithe / Cruthaithe: (2017)

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

Types for proofs and programs : third international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
de réir: Dowek, Gilles
Foilsithe / Cruthaithe: (2006)

Types in compilation : Second International Workshop, TIC 98 Kyoto, Japan, March 25 27, 1998 : proceedings

On the shock-induced variability of emission lines in M-type Mira variables
de réir: He. Richter, et al.
Foilsithe / Cruthaithe: (2003)

Statistical properties of a sample of periodically variable B-type supergiants
de réir: K. Lefever, et al.
Foilsithe / Cruthaithe: (2006)

On the shock-induced variability of emission lines in M-type Mira variables
de réir: He. Richter, et al.
Foilsithe / Cruthaithe: (2001)

Quelle « exception française » en matière de « types de temps » ?
de réir: Douguedroit, Annick
Foilsithe / Cruthaithe: (2008)

Time-resolved multicolour photometry of bright B-type variable stars in Scorpius
de réir: G. Handler, et al.
Foilsithe / Cruthaithe: (2013)

Mass loss rates of a sample of irregular and semiregular M-type AGB-variables
de réir: H. Olofsson, et al.
Foilsithe / Cruthaithe: (2002)

Multiplicity among solar-type stars
de réir: J.-L. Halbwachs, et al.
Foilsithe / Cruthaithe: (2018)

Rotational velocities of A-type stars
de réir: F. Royer, et al.
Foilsithe / Cruthaithe: (2006)

Rotational velocities of A-type stars
de réir: F. Royer, et al.
Foilsithe / Cruthaithe: (2002)

Rotational velocities of A-type stars
de réir: F. Royer, et al.
Foilsithe / Cruthaithe: (2002)

Rotational velocities of A-type stars
de réir: J. Zorec, et al.
Foilsithe / Cruthaithe: (2012)

Le procédé de l'acte-type
de réir: Rongère, Pierrette, 1938-...., juriste
Foilsithe / Cruthaithe: (1968)

TypeScript : notions fondamentales
de réir: Billon, Félix, et al.
Foilsithe / Cruthaithe: (2023)

Irreversible properties of type II superconductors
de réir: Ullmaier, Hans, 1936-

Late B-type stars and their candidate companions resolved with
de réir: B. Stelzer, et al.
Foilsithe / Cruthaithe: (2003)

Emulation of Adobe CID Resources by CJK TrueType Fonts
de réir: Toshiya, Suzuki, et al.
Foilsithe / Cruthaithe: (2007)

Granulation in K-type dwarf stars
de réir: I. Ramírez, et al.
Foilsithe / Cruthaithe: (2009)

Scène énonciative et types de marqueurs discursifs
de réir: Paillard, Denis
Foilsithe / Cruthaithe: (2017)

Encodings in Legacy Khmer TrueType Fonts
de réir: Toshiya, Suzuki, et al.
Foilsithe / Cruthaithe: (2007)

Habiter et types d'habitat à Alger
de réir: Semmoud, Nora
Foilsithe / Cruthaithe: (2007)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales