Trifon Trifonov. Dialectica Interpretation with Fine Computational Control. In Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Volume 5635 of Lecture Notes in Computer Science, pages 467-477, Springer, 2009. [doi]
@inproceedings{Trifonov09, title = {Dialectica Interpretation with Fine Computational Control}, author = {Trifon Trifonov}, year = {2009}, doi = {10.1007/978-3-642-03073-4_48}, url = {http://dx.doi.org/10.1007/978-3-642-03073-4_48}, researchr = {https://researchr.org/publication/Trifonov09}, cites = {0}, citedby = {0}, pages = {467-477}, booktitle = {Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings}, editor = {Klaus Ambos-Spies and Benedikt Löwe and Wolfgang Merkle}, volume = {5635}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-03072-7}, }