HomeOpen Access NewsSH - IMT Atlantique Bretagne-Pays de la Loire

SH - IMT Atlantique Bretagne-Pays de la Loire

Subscribe to Updates

Computer science and mathematics: Equality in proof assistants based on type theory

Research & Innovation
Dr Nicolas Tabareau from IMT Atlantique Bretagne-Pays de la Loire, details equality in proof assistants based on type theory, which falls under the umbrella of computer science and mathematics.

No posts to display

Advertisements


Latest Academic Articles

The latest academic articles from key research stakeholders

Visit Article Archive
Open Access Government

Open Access Government produces compelling and informative news, publications, eBooks, and academic research articles for the public and private sector looking at health, diseases & conditions, workplace, research & innovation, digital transformation, government policy, environment, agriculture, energy, transport and more.

Follow Us

Resources

Quick Links

Legal & Marketing

As a Crossref Sponsored Member we are able to connect your content with a global network of online scholarly research, currently over 20,000 other organizational members from 160 countries. Crossref drive metadata exchange and support nearly 2 billion monthly API queries, facilitating global research communication.

© Adjacent Digital Politics Ltd