Q125197697

Summary

Q125197697 is a doctoral thesis^[1].

Key Facts

• Q125197697's field of work was theoretical computer science^[2].
• Q125197697's field of work was type theory^[3].
• Q125197697 authored Christine Paulin-Mohring^[4].
• Q125197697's instance of is recorded as doctoral thesis^[5].
• Q125197697's OCLC number is recorded as 493552149^[6].
• Q125197697's language of work or name is recorded as French^[7].
• Q125197697's publication date is recorded as +1989-01-27T00:00:00Z^[8].
• Q125197697's SUDOC editions is recorded as 043899285^[9].
• Q125197697's title is recorded as Extraction de programmes dans le calcul des constructions^[10].
• Q125197697's thesis submitted to is recorded as Paris Diderot University^[11].
• Q125197697's National Thesis Number is recorded as 1989PA077101^[12].
• Q125197697's HAL article ID is recorded as tel-00431825^[13].

Body

Career and Affiliations

Fields of work include theoretical computer science^[2], a branch of computer science^[14] and type theory^[3], a branch of mathematics^[15].

Works and Contributions

Q125197697 authored Christine Paulin-Mohring^[4].