The following pages link to Susumu Hayashi (Q235608):
Displaying 8 items.
- Games with 1-backtracking (Q636360) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp (Q1050769) (← links)
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus (Q1075312) (← links)
- A note on provable well-orderings in first order systems with infinitary inference rules (Q1139041) (← links)
- Singleton, union, and intersection types for program extraction (Q1322477) (← links)
- Self-similar sets as Tarski's fixed points (Q1822376) (← links)
- (Q2742626) (← links)
