Bengt Nordström, Kent Petersson, and Jan M. Smith. Programming in Martin-Löf's type theory. An introduction. The international series of monographs on computer science, no. 7. Clarendon Press, Oxford University Press, Oxford and New York1990, x + 221 pp [Book Review]

Journal of Symbolic Logic 57 (1):272-274 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275200

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp. [REVIEW]Lincoln A. Wallen - 1993 - Journal of Symbolic Logic 58 (1):361-362.
Programming in Martin-Löf's Type Theory. An Introduction.Kent Petersson & Jan M. Smith - 1992 - Journal of Symbolic Logic 57 (1):272-274.
Penelope Maddy, Realism in mathematics. Clarendon Press, Oxford University Press, Oxford and New York1990, ix + 204 pp. [REVIEW]Bob Hale - 1992 - Journal of Symbolic Logic 57 (2):750-752.
Richard A. Gerberding, The Rise of the Carolingians and the “Liber historiae Francorum.”(Oxford Historical Monographs.) New York: Clarendon Press, Oxford University Press, 1987. Pp. xi, 209; 4 maps. $47. [REVIEW]Julia M. H. Smith - 1989 - Speculum 64 (2):428-430.
John Hudson, Land, Law, and Lordship in Anglo-Norman England.(Oxford Historical Monographs.) Oxford: Clarendon Press; New York: Oxford University Press, 1994. Pp. ix, 320; 2 genealogical charts. $52. [REVIEW]Charlotte Newman Goldy - 1997 - Speculum 72 (1):174-176.
Joanna Summers, Late-Medieval Prison Writing and the Politics of Autobiography. (Oxford English Monographs.) Oxford: Clarendon Press; New York: Oxford University Press, 2004. Pp. x, 229. [REVIEW]Kathryn L. Lynch - 2006 - Speculum 81 (2):608-609.
Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.
Hugh EL Collins, The Order of the Garter, 1348–1461: Chivalry and Politics in Late Medieval England.(Oxford Historical Monographs.) Oxford: Clarendon Press; New York: Oxford University Press, 2000. Pp. xi, 327; tables. $74. [REVIEW]D'ajd Boulton - 2003 - Speculum 78 (1):151-154.
James Van Aken. Axioms for the set-theoretic hierarchy. The journal of symbolic logic, vol. 51 , pp. 992–1004. - Stephen Pollard. More axioms for the set-theoretic hierarchy. Logique et analyse, n.s. vol. 31 , pp. 85–88. - Michael D. Potter. Sets. An introduction. Clarendon Press, Oxford University Press, Oxford and New York1990, xi + 241 pp. [REVIEW]Vann McGee - 1993 - Journal of Symbolic Logic 58 (3):1077-1078.
Guy Llewelyn Thompson, Paris and Its People under English Rule: The Anglo-Burgundian Regime, 1420-1436.(Oxford Historical Monographs.) New York and Oxford: Clarendon Press, Oxford University Press, 1991. Pp. xvi, 276; 9 maps, 3 figures, 5 tables. $69. [REVIEW]D'ajd Boulton - 1993 - Speculum 68 (4):1225-1227.
Berenice M. Kerr, Religious Life For Women, c. 1100–c. 1350: Fontevraud in England.(Oxford Historical Monographs.) Oxford: Clarendon Press; New York: Oxford University Press, 1999. Pp. xix, 299; black-and-white figures, maps, and tables. $75. [REVIEW]Sharon Elkins - 2001 - Speculum 76 (3):754-755.
AJ Minnis, with VJ Scattergood and JJ Smith, The Shorter Poems.(Oxford Guides to Chaucer.) Oxford: Clarendon Press, Oxford University Press, 1995. Pp. xiv, 578. $72. [REVIEW]Peter G. Beidler - 1997 - Speculum 72 (3):863-865.
Smith G. C.. The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York 1982, vii + 156 pp. [REVIEW]Theodore Hailperin - 1984 - Journal of Symbolic Logic 49 (2):657-659.
Eighteenth and Nineteenth Centuries The Caloric Theory of Gases from Lavoisier to Regnault. By Robert Fox. Oxford: Clarendon Press: Oxford University Press, 1971. Pp. xv + 378. £5. [REVIEW]Stephen G. Brush - 1972 - British Journal for the History of Science 6 (2):218-220.

Analytics

Added to PP
2013-11-22

Downloads
33 (#473,861)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references