Ontify

⌘S

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
Powered byWikidataWikidata