Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q125197697)
Watch
English
No label defined
No description defined
In more languages
edit
Statements
instance of
doctoral thesis
0 references
title
Extraction de programmes dans le calcul des constructions
(French)
0 references
field of work
theoretical computer science
0 references
type theory
0 references
author
Christine Paulin-Mohring
0 references
dissertation submitted to
Paris Diderot University
0 references
language of work or name
French
0 references
publication date
27 January 1989
0 references
Identifiers
HAL article ID
tel-00431825
0 references
National Thesis Number (France)
1989PA077101
0 references
OCLC control number
493552149
0 references
SUDOC editions
043899285
0 references
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit