Christine Paulin-Mohring

Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Paulin-Mohring, Christine', query time: 0.03s Refine Results
  1. 1
    Définitions Inductives en Théorie des Types
    by Paulin-Mohring, Christine
    Published 1996
    Get full text
    Get full text
  2. 2
    Extraction de programmes dans le Calcul des Constructions
    by Paulin-Mohring, Christine
    Published 1989
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search