American Psychological Association 6th edition

DOWEK, G. (2004). La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques / Type theory and proof processing systems. La théorie Constructive Des Types, (165), 13-29.

ISO-690 (author-date, English)

DOWEK, Gilles, 2004. La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques / Type theory and proof processing systems. La théorie constructive des types. 1 Januar 2004. No. 165, p. 13-29.

Modern Language Association 9th edition

DOWEK, G. „La théorie Des Types Et Les systèmes Informatiques De Traitement De démonstrations mathématiques / Type Theory and Proof Processing Systems“. La théorie Constructive Des Types, Nr. 165, Januar 2004, S. 13-29.

Mohr Siebeck - Recht (Deutsch - Österreich)

DOWEK, Gilles: La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques / Type theory and proof processing systems, La théorie constructive des types 2004, 13-29.

Emerald - Harvard

DOWEK, G. (2004), „La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques / Type theory and proof processing systems“, La théorie Constructive Des Types, No. 165, S. 13-29.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.