Publisher
Springer Berlin Heidelberg
Reference61 articles.
1. Basin D.A. [1989]. Building theories in Nuprl. — In: Logic at Botic'89, LNCS 363, 1989, 12–25.
2. Bates J.L., Constable R.L. [1985] Proofs as programs. — ACM Trans. on Programming languages and systems, 1985, v.7, no.1, p.113–136.
3. Beeson M. J. [1978a] Some relations between classical and constructive mathematics. — J. Symb. Logic, 1978, v.43, no.2, p.228–246.
4. Beeson M.J. [1986] Proving programs and programming proofs. — In: VII Int. Congress on Logic, Methodology and Philosophy of Science, Elsevier Sci. Publishers, 1986, p.51–82.
5. Bertoni A., Mauri G., Miglioli P., Ornaghi M. [1984] Abstract data types and their extension within a constructive logic. — Semantics of Data Types, LNCS 173, 1984, 177–195.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献