A.S. Troelstra  Home/Search
Context
Related
| informatik.uniulm.de/k...troelstra.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.uniulm...typentheorie (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: My field is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their field; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas, connected with the constructivistic trend in the foundations of mathematics, developed within mathematical logic and ultimately diffused... (Update)
Similar documents (at the sentence level):
50.1%: From Constructivism to Computer Science - Troelstra (1996) (Correct)
Active bibliography (related documents): More All
0.4: An Extended Calculus of Constructions - Luo (1990) (Correct)
0.3: Proof Interpretations and the Computational Content of Proofs - Kohlenbach (2002) (Correct)
0.3: Lambda Terms for Natural Deduction, Sequent Calculus and Cut.. - Barendregt, al. (Correct)
Similar documents based on text: More All
0.3: What is Intuitionism? - Intuitionism Originates With (Correct)
0.2: Constructivism and Proof Theory - Troelstra (2003) (Correct)
0.2: Constructivism in Computer Science Education: Evaluating a.. - Henze, Nejdl (1998) (Correct)
BibTeX entry: (Update)
@article{ troelstra99from,
author = "A. S. Troelstra",
title = "From constructivism to computer science",
journal = "Theoretical Computer Science",
volume = "211",
number = "1--2",
pages = "233--252",
year = "1999",
url = "citeseer.ist.psu.edu/troelstra99from.html" }
Citations (may not include all citations):505 Implementing Mathematics with the NuPRL Proof Development Sy.. - Constable - 1986
419 A formulation of the simple theory of types (context) - Church - 1940
325 Towards a theory of type structure (context) - Reynolds - 1974
233 The formulae-as-types notion of construction (context) - Howard - 1969
141 Constructive mathematics and computer programming (context) - Martin--L - 1982
71 An intuitionistic theory of types: predicative part (context) - Martin-L - 1975
69 Curry: Essays on Combinatory Logic (context) - Seldin, Hindley - 1980
50 Polymorphism is not set-theoretic (context) - Reynolds - 1984
44 the interpretation of intuitionistic number theory (context) - Kleene - 1945
39 Polymorphism is set-theoretic (context) - Pitts - 1987
24 Program extraction from classical proofs (context) - Berger, Schwichtenberg - 1995
23 on Mathematical Logic (context) - Kreisel, logic et al. - 1965
21 s Type Theory (context) - Nordstr, Petersson et al. - 1990
20 An early proof of normalization by (context) - Gandy - 1980
17 ECC: an extended Calculus of Constructions - Luo - 1989
16 A small complete category (context) - Hyland - 1988
16 ective topos (context) - Hyland - 1982
16 Zur Deutung der intuitionistischen Logik (context) - Kolmogorov - 1932
16 The mathematical language AUTOMATH (context) - de Bruijn - 1970
15 Constructive natural deduction and its (context) - Longo, Moggi - 1991
14 lter lambda model and the completeness of type assignment (context) - Barendregt, Coppo et al. - 1983
9 Over de Grondslagen der Wiskunde (context) - Brouwer - 1907
8 uber das logische Schliessen (context) - Gentzen - 1935
7 eorie des constructions (context) - Coquand, th - 1985
6 Realizability: a retrospective survey (context) - Kleene
5 Die intuitionistische Grundlegung der Mathematik (context) - Heyting - 1931
5 An abstract notion of realizability for which intuitionistic.. (context) - auchli - 1970
4 Notes on intuitionistic second order arithmetic (context) - Troelstra
3 ning logics (context) - Harper, Honsell et al. - 1987
3 Foundations of intuitionistic logic (context) - Kreisel - 1962
3 De onbetrouwbaarheid der logische principes (context) - Brouwer - 1908
3 The Combinatory Foundations of Mathematical Logic (context) - Curry - 1942
2 Intuitionism in mathematics (context) - Heyting - 1958
2 Cambridge Summer School in Mathematical Logic (context) - Mathias, Rogers - 1973
2 Formal systems for intuitionistic analysis (context) - Kreisel, Troelstra - 1970
1 Extracting the computational content of Higman's lemma in th.. (context) - Berger, Schwichtenberg et al.
1 elimination des coupures de l'arithm#etique d'ordre sup#erie.. (context) - Girard, etation - 1972
1 uge der theoretischen Logik (context) - Hilbert, Ackermann - 1928
1 Non-trivial power types cannot be subtypes of polymorphic ty.. (context) - Pitts - 1989
Documents on the same site (http://www.informatik.uni-ulm.de/ki/Edu/Vorlesungen/Typentheorie/SS98/typentheorie.html):
Functional programming using Caml Light - Mauny (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC