The following pages link to Susumu Hayashi (Q235608):
Displaying 28 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)
- (Q3593497) (← links)
- (Q3659778) (← links)
- (Q3852178) (← links)
- Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice (Q3905274) (← links)
- (Q3963000) (← links)
- Some derived rules of intuitionistic second order arithmetic (Q4159055) (← links)
- (Q4198752) (← links)
- (Q4217580) (← links)
- (Q4222832) (← links)
- (Q4348037) (← links)
- (Q4411811) (← links)
- (Q4420630) (← links)
- (Q4420735) (← links)
- (Q4546091) (← links)
- (Q4694210) (← links)
- (Q4736394) (← links)
- A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE (Q4853337) (← links)
- Singleton, union and intersection types for program extraction (Q5096245) (← links)
- Typed Lambda Calculi and Applications (Q5704025) (← links)
- Towards the animation of proofs -- testing proofs by examples (Q5958295) (← links)
