The following pages link to Trifon Trifonov (Q636372):
Displaying 18 items.
- Light Dialectica revisited (Q636373) (← links)
- Fast computation of a gated dipole field (Q858905) (← links)
- Exploring the Computational Content of the Infinite Pigeonhole Principle (Q2882563) (← links)
- (Q2956414) (← links)
- (Q3166530) (← links)
- (Q3375612) (← links)
- (Q3524451) (← links)
- (Q3524701) (← links)
- (Q3528969) (← links)
- Dialectica Interpretation with Fine Computational Control (Q3576085) (← links)
- Quasi-linear Dialectica Extraction (Q3576230) (← links)
- (Q4441190) (← links)
- (Q4922582) (← links)
- (Q4964700) (← links)
- (Q5028422) (← links)
- (Q5442305) (← links)
- (Q5454172) (← links)
- (Q5493132) (← links)