Bruno Barras

From MaRDI portal
Person:2754028

Available identifiers

zbMath Open barras.brunoMaRDI QIDQ2754028

List of research outcomes





PublicationDate of PublicationType
The Negligible and Yet Subtle Cost of Pattern Matching2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q29585502017-02-02Paper
A generalization of the Takeuti-Gandy interpretation2016-07-27Paper
Asynchronous processing of Coq documents: from the kernel up to the user interface2015-09-14Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems2013-08-09Paper
Sets in Coq, Coq in Sets2011-02-10Paper
A New Elimination Rule for the Calculus of Inductive Constructions2009-07-02Paper
The Implicit Calculus of Constructions as a Programming Language with Dependent Types2008-04-11Paper
Computer Science Logic2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q27540292001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q42469421999-12-13Paper

Research outcomes over time

This page was built for person: Bruno Barras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2754028&oldid=6799242"
Powered by MediaWiki