Home
News
COP Climate Change
COVID-19
Government
Health & Social Care
Coronavirus (COVID-19)
Cancer Research
Diseases & Conditions
Mental Health
Pharma
Women’s Health
Environment
Circular Economy
Sustainable Development
Agriculture
Energy
Research & Innovation
Transport
Education
Finance
Workplace
Technology
Digital Transformation
Blockchain
Publications
Academic Articles
Special Reports
Government
Health & Social Care
Environment
Agriculture
Energy
Research & Innovation
Transport
Education
Finance
HR & Training
Technology
Stakeholders
Government
Health & Social Care
Health Research
Environment
Agriculture
Energy
Research & Innovation
Transport
Education
Finance
HR & Training
Technology
eBooks
Government
Health & Social Care
Environment
Energy
Research & Innovation
Transport
Education
Finance
HR & Training
Technology
North America Analysis
Asia Analysis
Blockchain
Subscribe
Search
Friday, March 29, 2024
Contact Us
About Us
Editors
Our Audience
Marketing Information Pack
Prestige Contributors
Testimonials
Open Access Government
Home
News
COP Climate Change
COVID-19
Government
Health & Social Care
Coronavirus (COVID-19)
Cancer Research
Diseases & Conditions
Mental Health
Pharma
Women’s Health
Environment
Circular Economy
Sustainable Development
Agriculture
Energy
Research & Innovation
Transport
Education
Finance
Workplace
Technology
Digital Transformation
Blockchain
Publications
Academic Articles
Special Reports
Government
Health & Social Care
Environment
Agriculture
Energy
Research & Innovation
Transport
Education
Finance
HR & Training
Technology
Stakeholders
Government
Health & Social Care
Health Research
Environment
Agriculture
Energy
Research & Innovation
Transport
Education
Finance
HR & Training
Technology
eBooks
Government
Health & Social Care
Environment
Energy
Research & Innovation
Transport
Education
Finance
HR & Training
Technology
North America Analysis
Asia Analysis
Blockchain
Subscribe
Government
Health
Environment
Agriculture
Energy
Research
Transport
Education
Finance
Workplace
Technology
North America
Asia
Home
Dr Nicolas Tabarea - IMT Atlantique Bretagne-Pays de la Loire
Dr Nicolas Tabarea
Researcher
IMT Atlantique Bretagne-Pays de la Loire
Contributor's Details
Phone:
+33 251 85 82 37
Email:
nicolas.tabareau@inria.fr
Website:
Visit Website
Contributor's Posts
Computer science, software and mathematics: Interactive proof assistants
Computer science and mathematics: Equality in proof assistants based on type theory
Please Choose
Search Everything
Articles
eBooks
Publications
Special Reports
Stakeholders