The following pages link to Bengt Nordström (Q800717):
Displaying 9 items.
- Propositions and specifications of programs in Martin-Löf's type theory (Q800719) (← links)
- Terminating general recursion (Q1112584) (← links)
- The design of Apple—A language for modular programs (Q3343408) (← links)
- (Q3400627) (← links)
- (Q3400633) (← links)
- (Q3709871) (← links)
- (Q3999860) (← links)
- (Q4289277) (← links)
- (Q4414106) (← links)
