From constructivism to computer science
type: Item
instance of: scholarly article
title: From constructivism to computer science
zbMATH Open document ID: 0913.68074
DOI: 10.1016/S0304-3975(97)00172-2
author: A. S. Troelstra
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1238417
zbMATH Keywords: proof interpretation of intuitionistic logic
describes a project that uses: Nuprl
describes a project that uses: Automath
MaRDI profile type: Publication
cites work: A filter lambda model and the completeness of type assignment
cites work: Refined program extraction from classical proofs
cites work: Q4101779
cites work: Q4068683
cites work: Q5610115
cites work: The calculus of constructions
cites work: The combinatory foundations of mathematical logic
cites work: Q5559529
cites work: Q5565113
cites work: A framework for defining logics
cites work: Q4405122
cites work: Grundlagen der Mathematik I
cites work: Q3671978
cites work: A small complete category
cites work: On the interpretation of intuitionistic number theory
cites work: Q3214888
cites work: Zur Deutung der intuitionistischen Logik
cites work: Q5343326
cites work: Q5525322
cites work: Formal systems for some branches of intuitionistic analysis
cites work: Q5619069
cites work: Constructive natural deduction and its ‘ω-set’ interpretation
cites work: Q3211296
cites work: Q4099613
cites work: Constructive mathematics and computer programming
cites work: Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
cites work: Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
cites work: Q3999860
cites work: Q3786612
cites work: Q3202989
cites work: Q4068054
cites work: Q3216629
cites work: Q3922646
cites work: Q5533180
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q5183475
cites work: Q3877069
full work available at URL: s0304-3975(97)00172-2
OpenAlex ID: W2018882178
description: scientific article; zbMATH DE number 1238417