Old Web
English
Sign In
Acemap
>
authorDetail
>
Bruno Bernardo
Bruno Bernardo
École Polytechnique
Mathematics
Programming language
Computer science
Residue (complex analysis)
Atmosphere
3
Papers
82
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
New Results - Study of Formalisms
2009
Bruno Barras
Bruno Bernardo
Mathieu Boespflug
Denis Cousineau
Gilles Dowek
Guillaume Burel
Arnaud Spiwack
Germain Faure
Benjamin Werner
Show All
Source
Cite
Save
Citations (0)
The implicit calculus of constructions as a programming language with dependent types
2008
FoSSaCS | Foundations of Software Science and Computation Structure
Bruno Barras
Bruno Bernardo
Show All
Source
Cite
Save
Citations (82)
What is ICC ? (And what matters about it ?)
2008
Bruno Barras
Bruno Bernardo
Show All
Source
Cite
Save
Citations (0)
1