The following pages link to Formalism (philosophy of mathematics)
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- ALGOL 58 (links | edit)
- ALGOL X (links | edit)
- ALGOL N (links | edit)
- Elliott ALGOL (links | edit)
- ALGOL 68S (links | edit)
- Executive Systems Problem Oriented Language (links | edit)
- NELIAC (links | edit)
- Edinburgh IMP (links | edit)
- Nobuo Yoneda (links | edit)
- English Electric KDF9 (links | edit)
- ALGO (links | edit)
- Pre-intuitionism (links | edit)
- Extensible programming (links | edit)
- A2 (operating system) (links | edit)
- Brian Randell (links | edit)
- Syntactic Structures (links | edit)
- SMALL (links | edit)
- ALGOL 68C (links | edit)
- Wirth–Weber precedence relationship (links | edit)
- SMIL (computer) (links | edit)
- Wirth's law (links | edit)
- Jensen's device (links | edit)
- DASK (links | edit)
- Friedrich L. Bauer (links | edit)
- Eric Hehner (links | edit)
- John C. Reynolds (links | edit)
- Elliott Brothers (computer company) (links | edit)
- Lola (computing) (links | edit)
- John E. L. Peck (links | edit)
- Barry J. Mailloux (links | edit)
- Cornelis H. A. Koster (links | edit)
- Formal science (transclusion) (links | edit)
- Richard Bird (computer scientist) (links | edit)
- S-algol (links | edit)
- Ron Morrison (links | edit)
- ALCOR (links | edit)
- Lambert Meertens (links | edit)
- List of Guggenheim Fellowships awarded in 1935 (links | edit)
- Tom Maibaum (links | edit)
- Napier88 (links | edit)
- NEWP (links | edit)
- David Gries (links | edit)
- Wirth syntax notation (links | edit)
- ALGOL 68-R (links | edit)
- Mathematical formalism (links | edit)
- Douglas T. Ross (links | edit)
- Philip Woodward (links | edit)
- ALGOL 68RS (links | edit)
- Willem van der Poel (links | edit)
- Jørn Jensen (links | edit)