The following pages link to (Q5533180):
Displayed 10 items.
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Finite notations for infinite terms (Q1295405) (← links)
- On extracting variable Herbrand disjunctions (Q2157604) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- (Q5646883) (← links)
- A short and flexible proof of strong normalization for the calculus of constructions (Q6083893) (← links)
- Primitive recursive functional with dependent types (Q6116568) (← links)