Project Details

Dr. Jules Chouquet

Address Université d'Orléans
Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - UR 4022
Rue Léonard de Vinci B.P. 6759
F-45067 Orléans
Frankreich

Projects

As Cooperation Partner
- Current projects
  - Computing with Infinite Data: Program Extraction from Proofs in a Constructive Logic Extended by (Co-)Inductive Definitions, Its Computational Power, and Applications (Research Grants)

Servicenavigation

Hauptnavigation

Dr. Jules Chouquet

Additional Information

Servicenavigation

Hauptnavigation

Dr. Jules Chouquet

Additional Information

Textvergrößerung und Kontrastanpassung