161![Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/ Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/](https://www.pdfsearch.io/img/1b22e1340e7a6d76b73417e94e9a09d4.jpg) | Add to Reading ListSource URL: ndmitchell.comLanguage: English - Date: 2016-04-19 09:56:22
|
---|
162![2012 ACM@UVa HSPC C++ Cheatsheet If Statement Primitive Data Types if ( Boolean Expression ){ 2012 ACM@UVa HSPC C++ Cheatsheet If Statement Primitive Data Types if ( Boolean Expression ){](https://www.pdfsearch.io/img/ff578e5d9e249747dc92b6f5705a2838.jpg) | Add to Reading ListSource URL: acm.cs.virginia.eduLanguage: English - Date: 2014-03-20 22:58:43
|
---|
163![On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany On the Computational Content of the Bolzano-Weierstraß Principle∗ Pavol Safarik and Ulrich Kohlenbach Department of Mathematics Technische Universität Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany](https://www.pdfsearch.io/img/3391e99f65b2646cd834dc1f24d65346.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2009-10-14 11:24:50
|
---|
164![! Revised Wednesday, December 9, 2015! 1 ! Revised Wednesday, December 9, 2015! 1](https://www.pdfsearch.io/img/82913abad5892047cc4d109a602289f8.jpg) | Add to Reading ListSource URL: kiwi.atmos.colostate.eduLanguage: English - Date: 2015-12-09 11:42:56
|
---|
165![Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008](https://www.pdfsearch.io/img/116dd01daed22c59c319547e8d6b45e5.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2008-09-01 05:59:33
|
---|
166![FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question:](https://www.pdfsearch.io/img/902cb23719656c6305668528fa97210c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:34:29
|
---|
167![On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade](https://www.pdfsearch.io/img/4616a23f2b520bcc47f7a836e8633f7e.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:34:17
|
---|
168![Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe–Universit¨at D–60054 Frankfurt, Germany](https://www.pdfsearch.io/img/98077164fa80cfdd36ad80987965061c.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 09:33:39
|
---|
169![A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011 A note on the monotone functional interpretation Ulrich Kohlenbach∗ Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany April 18, 2011](https://www.pdfsearch.io/img/72adcc5651e4d16a56bd2deba6136855.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2011-04-18 10:49:58
|
---|
170![Pointwise hereditary majorization and some applications Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, 6000 Frankfurt am Main, FRG Abstract A pointwise version of the H Pointwise hereditary majorization and some applications Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, 6000 Frankfurt am Main, FRG Abstract A pointwise version of the H](https://www.pdfsearch.io/img/12f615b5dd3ecfa23a2922ae004d6aa2.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-16 10:11:23
|
---|