%0 Thesis %1 Girard1972Interpretation %A Girard, Jean-Yves %D 1972 %K 03b15-higher-order-logic-type-theory 03b40-combinatory-logic-and-lambda-calculus 68n18-functional-programming-and-lambda-calculus 68n20-compilers-and-interpreters %T Interprétation functionelle et élimination des coupures dans l'arithmétique d'ordre supérieure %U http://prl.ccs.neu.edu/img/g-thesis-1972.pdf

@phdthesis{Girard1972Interpretation, added-at = {2019-03-01T00:11:50.000+0100}, author = {Girard, Jean-Yves}, biburl = {https://www.bibsonomy.org/bibtex/21ac55ad071494f221421a3d7b641ee39/gdmcbain}, citeulike-article-id = {14460127}, citeulike-attachment-1 = {girard_72_interpretation.pdf; /pdf/user/gdmcbain/article/14460127/1120787/girard_72_interpretation.pdf; e1a1c345ce8ab4c11f176f1c42bcfc6a62ef4e3c}, citeulike-linkout-0 = {http://prl.ccs.neu.edu/img/g-thesis-1972.pdf}, file = {girard_72_interpretation.pdf}, interhash = {30dc56b4d604128f6f7b994e5eae2e58}, intrahash = {1ac55ad071494f221421a3d7b641ee39}, keywords = {03b15-higher-order-logic-type-theory 03b40-combinatory-logic-and-lambda-calculus 68n18-functional-programming-and-lambda-calculus 68n20-compilers-and-interpreters}, posted-at = {2017-10-18 01:38:10}, priority = {3}, school = {Universit\'{e} Paris VII}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Interpr\'{e}tation functionelle et \'{e}limination des coupures dans l'arithm\'{e}tique d'ordre sup\'{e}rieure}}, url = {http://prl.ccs.neu.edu/img/g-thesis-1972.pdf}, year = 1972 }