The following pages link to Hiroshi Nakano (Q230794):
Displayed 8 items.
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- Type checking and typability in domain-free lambda calculi (Q655411) (← links)
- A constructive logic behind the catch and throw mechanism (Q1337695) (← links)
- (Q3097014) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
- (Q4222832) (← links)
- (Q5714439) (← links)
- On a distance-regular graph of even height with \(k_e=k_f\) (Q5956106) (← links)