Ontify
⌘
S
⌘
S
Share
Q125197697
Statements about
Unnamed Entity
Instance Of
Doctoral Thesis
Title
Extraction de programmes dans le calcul des constructions
Publication Date
1/27/1989
Author
Christine Paulin-Mohring
Language of Work or Name
French
Field of Work
Theoretical Computer Science
Type Theory