A Constructive Algebraic Hierarchy in Coq

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

Natural Sciences, Computer Science, Mathematics +4

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

AXIOM: the scientific computation system

Choice Reviews Online · 1993 · 240 citations

Computing, Computer Science, Mathematics +16

Typing algorithm in type theory with inheritance

Amokrane Saïbi · 1997 · 85 citations

Computing, Computer Science, Mathematics +17

Coercive subtyping

Zhengping Luo · Journal of Logic and Computation · 1999 · 73 citations

Computing, Computer Science, Formal Methods +16