The following pages link to Andrej Dudenhefner (Q4637690):
Displayed 13 items.
- (Q4637692) (← links)
- Kripke Semantics for Intersection Formulas (Q5034223) (← links)
- (Q5091142) (← links)
- (Q5111311) (← links)
- (Q5144674) (← links)
- Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization (Q5212034) (← links)
- (Q5277832) (← links)
- (Q5367047) (← links)
- (Q5369484) (← links)
- Intersection type calculi of bounded dimension (Q5370899) (← links)
- (Q6060673) (← links)
- (Q6124949) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)