- Formal languages (2)
- Algorithms (1)
- Algorithms--Congresses (1)
- Combinatory logic (1)
- Computer programs--Addresses, essays, lectures (1)
- Formal languages--Congresses (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Machine theory (1)
- Programming languages (Electronic computers)--Semantics--Congresses (1)
- Recursive functions (1)
- Sequential machine theory (1)
- オートマトン (1)