Bruno Barras

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implementation of two layers type theory in Dedukti and application to cubical type theory	2025-08-19	Paper
The Negligible and Yet Subtle Cost of Pattern Matching Programming Languages and Systems	2022-12-09	Paper
scientific article; zbMATH DE number 6680163 (Why is no real title available?)	2017-02-02	Paper
A generalization of the Takeuti-Gandy interpretation Mathematical Structures in Computer Science	2016-07-27	Paper
Asynchronous processing of Coq documents: from the kernel up to the user interface Interactive Theorem Proving	2015-09-14	Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems Lecture Notes in Computer Science	2013-08-09	Paper
Sets in Coq, Coq in Sets	2011-02-10	Paper
A New Elimination Rule for the Calculus of Inductive Constructions Lecture Notes in Computer Science	2009-07-02	Paper
The Implicit Calculus of Constructions as a Programming Language with Dependent Types Foundations of Software Science and Computational Structures	2008-04-11	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 1670733 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1301729 (Why is no real title available?)	1999-12-13	Paper

Research outcomes over time

This page was built for person: Bruno Barras