-
3
-
-
0011156140
-
Do-ityourself type theory
-
Roland C. Backhouse, Paul Chisholm, Grant Malcolm, and Erik Saaman. Do-ityourself type theory. Formal Aspects of Computing, 1:19–84, 1989.
-
(1989)
Formal Aspects of Computing
, vol.1
, pp. 19-84
-
-
Backhouse, R.C.1
Chisholm, P.2
Malcolm, G.3
Saaman, E.4
-
6
-
-
0004174649
-
-
Prentice-Hall, NJ
-
Robert L. Constable, Stuart F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, James T. Sasaki, and Scott F. Smith. Implementing Mathematics with the NuPRL Development System. Prentice-Hall, NJ, 1986.
-
(1986)
Implementing Mathematics with the Nuprl Development System
-
-
Constable, R.L.1
Allen, S.F.2
Bromley, H.M.3
Cleaveland, W.R.4
Cremer, J.F.5
Harper, R.W.6
Howe, D.J.7
Knoblock, T.B.8
Mendler, N.P.9
Panangaden, P.10
Sasaki, J.T.11
Smith, S.F.12
-
10
-
-
84944185662
-
-
MetaPRL home page
-
Jason J. Hickey, Aleksey Nogin, et al. MetaPRL home page. http://metaprl.org/.
-
-
-
Hickey, J.J.1
Nogin, A.2
-
11
-
-
0003586320
-
-
PhD thesis, University of Edinburgh, Laboratory for Foundations of Computer Science
-
Martin Hofmann. Extensional concepts in intensional Type theory. PhD thesis, University of Edinburgh, Laboratory for Foundations of Computer Science, 1995.
-
(1995)
Extensional Concepts in Intensional Type Theory
-
-
Hofmann, M.1
-
12
-
-
0040901896
-
On the continuity of constructive function
-
Russian
-
A.A. Markov. On the continuity of constructive function. Uspekhi Matematicheskikh Nauk, 9/3(61):226–230, 1954. In Russian.
-
(1954)
Uspekhi Matematicheskikh Nauk
, vol.9-3
, Issue.61
, pp. 226-230
-
-
Markov, A.A.1
-
13
-
-
0007931851
-
-
Trudy Matematicheskogo Instituta imeni V.A. Steklova, In Russian. English Translation: A.M.S. Translations, series 2, vol.98, pp. 1-9. MR 27#3528
-
A.A. Markov. On constructive mathematics. Trudy Matematicheskogo Instituta imeni V.A. Steklova, 67:8–14, 1962. In Russian. English Translation: A.M.S. Translations, series 2, vol.98, pp. 1-9. MR 27#3528.
-
(1962)
On Constructive Mathematics
, vol.67
, pp. 8-14
-
-
Markov, A.A.1
-
14
-
-
77956962293
-
Constructive mathematics and computer programming
-
Amsterdam, North Holland
-
Per Martin-Löf. Constructive mathematics and computer programming. In Proceedings of the Sixth International Congress for Logic, Methodology, and Philosophy of Science, pages 153–175, Amsterdam, 1982. North Holland.
-
(1982)
Proceedings of the Sixth International Congress for Logic, Methodology, and Philosophy of Science
, pp. 153-175
-
-
Martin-Löf, P.1
-
16
-
-
84981379802
-
The Friedman translation for Martin-Löf’s type theory
-
Erik Palmgren. The Friedman translation for Martin-Löf’s type theory. Mathematical Logic Quarterly, 41:314–326, 1995.
-
(1995)
Mathematical Logic Quarterly
, vol.41
, pp. 314-326
-
-
Palmgren, E.1
-
17
-
-
0034864194
-
Intensionality, extensionality, and proof irrelevance in modal type theory
-
Boston, Massachusetts, June 2001. LICS. To appear
-
Frank Pfenning. Intensionality, extensionality, and proof irrelevance in modal type theory. In Proceedings of the 16th Annual Symposium on Logic in Computer Science, Boston, Massachusetts, June 2001. LICS. To appear.
-
Proceedings of the 16Th Annual Symposium on Logic in Computer Science
-
-
Pfenning, F.1
-
19
-
-
0039073596
-
Constructivism in Mathematics
-
North-Holland, Amsterdam
-
A.S. Troelstra and D. van Dalen. Constructivism in Mathematics, An Introduction, Vol. I,II. North-Holland, Amsterdam, 1988.
-
(1988)
An Introduction
, vol.1-2
-
-
Troelstra, A.S.1
Van Dalen, D.2
|