Knowledge Tree

researcher / Laurent Igal Chicli

Laurent Igal Chicli

at_id:

orcid_id:

Disciplines:

Mathematics

Edit Merge See Links

Thesis:

Sur la formalisation des mathématiques dans le calcul des constructions inductives