The following pages link to A. S. Troelstra (Q792318):
Displaying 50 items.
- Realizability and intuitionistic logic (Q792319) (← links)
- Analysing choice sequences (Q1053674) (← links)
- Strong normalization for typed terms with surjective pairing (Q1092042) (← links)
- On the syntax of Martin-Löf's type theories (Q1099173) (← links)
- On a second order propositional operator in intuitionistic logic (Q1158419) (← links)
- Constructivism in mathematics. An introduction. Volume I (Q1188500) (← links)
- Constructivism in mathematics. An introduction. Volume II (Q1188522) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Marginalia on sequent claculi (Q1288969) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY (Q2534695) (← links)
- Informal theory of choice sequences (Q2561210) (← links)
- (Q3118402) (← links)
- (Q3127443) (← links)
- (Q3313859) (← links)
- (Q3671972) (← links)
- (Q3869344) (← links)
- (Q3880812) (← links)
- (Q3885754) (← links)
- (Q3887457) (← links)
- (Q3895419) (← links)
- (Q3898455) (← links)
- (Q3956933) (← links)
- Non-extensional equality (Q4053623) (← links)
- Note on the fan theorem (Q4063418) (← links)
- (Q4085703) (← links)
- (Q4085704) (← links)
- (Q4085705) (← links)
- (Q4087147) (← links)
- (Q4088791) (← links)
- (Q4126323) (← links)
- (Q4133953) (← links)
- (Q4145690) (← links)
- (Q4152216) (← links)
- Some models for intuitionistic finite type arithmetic with fan functional (Q4165377) (← links)
- (Q4170717) (← links)
- (Q4190633) (← links)
- (Q4202959) (← links)
- (Q4215635) (← links)
- Concepts and Axioms (Q4224767) (← links)
- (Q4495851) (← links)
- (Q4499084) (← links)
- (Q4694207) (← links)
- (Q4716271) (← links)
- (Q4856911) (← links)
- (Q4865640) (← links)
- (Q4940720) (← links)
- In Memoriam: Albert G. Dragalin 1941–1998 (Q4940737) (← links)
- (Q5183475) (← links)
- (Q5202655) (← links)