Bar recursion over finite partial functions (Q515562)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bar recursion over finite partial functions |
scientific article; zbMATH DE number 6695571
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Bar recursion over finite partial functions |
scientific article; zbMATH DE number 6695571 |
Statements
Bar recursion over finite partial functions (English)
0 references
16 March 2017
0 references
bar recursion
0 references
dialectica interpretation
0 references
program extraction
0 references
countable choice
0 references
0 references
0.8160684108734131
0 references
0.8028551340103149
0 references
0.7954874634742737
0 references
0.7896116971969604
0 references
0.7837203741073608
0 references
