Helmut Schwichtenberg (born 5 April 1942) is a German mathematical logician. Schwichtenberg studied mathematics from 1961 at the Free University of Berlin...
5 KB (376 words) - 16:46, 12 September 2024
Helloween Helmut Schwichtenberg (born 1942), German mathematical logician Martel Schwichtenberg (1896–1945), German painter Wilbur Schwichtenberg (1912–1989)...
751 bytes (109 words) - 17:55, 28 October 2022
Pfenning (2002). "Logical frameworks – a brief introduction". In Helmut Schwichtenberg, Ralf Steinbrüggen (ed.). Proof and system-reliability (PDF). Springer...
7 KB (965 words) - 21:53, 4 November 2023
sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory. He became a member...
4 KB (260 words) - 12:46, 11 October 2024
assistant developed at the University of Munich by the team of Helmut Schwichtenberg. MINLOG is based on first order natural deduction calculus. It is...
1 KB (149 words) - 15:19, 30 January 2021
University Press. ISBN 978-0-521-79307-0. Anne Sjerp Troelstra; Helmut Schwichtenberg (2000). Basic proof theory (2nd ed.). Cambridge University Press...
8 KB (1,182 words) - 22:31, 18 August 2024
Cohors-Fresenborg, Heinz-Dieter Ebbinghaus, Thomas Ottmann, Lutz Priese, and Helmut Schwichtenberg. A complete list of Rödding's publications can be found in an obituary...
4 KB (315 words) - 16:36, 19 October 2024
Mathematics. North-Holland, Amsterdam, 1975. Anne Sjerp Troelstra and Helmut Schwichtenberg. Basic Proof Theory. Edition: 2, illustrated, revised. Published...
1 KB (116 words) - 12:14, 18 August 2024
Impredicative Subsystems of Analysis, Bibliopolis, Naples 1988 with Helmut Schwichtenberg: Mathematische Logik, in Fischer, Hirzebruch et al. (eds.) Ein Jahrhundert...
4 KB (219 words) - 14:06, 16 October 2024
York: Van Nostrand. OCLC 523942. Schwichtenberg, Helmut. "Computability". see under "Computability" Schwichtenberg, Helmut (2007). "Recursion Theory (Notes...
7 KB (708 words) - 23:25, 7 August 2024
Amir Pnueli* Alexander Pretschner Peter Müller Shmuel Sagiv Helmut Schwichtenberg Helmut Seidl Stanley S. Wainer * Turing Award winners. "Informatiker...
4 KB (323 words) - 12:30, 27 September 2024
doi:10.1007/BF01691062, S2CID 21803927. Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2000), Basic Proof Theory, Cambridge tracts in theoretical computer...
7 KB (807 words) - 17:16, 2 November 2023
1–52. arXiv:0907.3804. doi:10.2168/LMCS-5(3:2)2009. S2CID 1478837. Schwichtenberg, Helmut (1 September 1975). "Definierbare Funktionen imλ-Kalkül mit Typen"...
33 KB (4,587 words) - 21:42, 19 October 2024
City: Springer. doi:10.1007/978-1-4419-1221-3. ISBN 9781441912206. Schwichtenberg, Helmut (2003–2004). Mathematical Logic (PDF). Munich: Mathematisches Institut...
68 KB (8,330 words) - 00:46, 4 November 2024
Nederpelt & Geuvers 2014, p. 85 Nederpelt & Geuvers 2014, p. 100 Schwichtenberg, Helmut (1975). "Definierbare Funktionen imλ-Kalkül mit Typen". Archiv für...
21 KB (3,233 words) - 05:48, 10 November 2024
(art dealing) Ulrike Rosenbach (video action) Günter Karl Friedrich Schwichtenberg (cybernetics) Heinz Bienefeld Johannes Krahn Ingeborg Drews Hellmuth...
7 KB (739 words) - 10:47, 27 September 2023
"Metatextual Girl: Patriarchy, Postmodernism, Power, Money, Madonna". In Schwichtenberg, Cathy (ed.). The Madonna connection: representational politics, subcultural...
99 KB (10,014 words) - 03:52, 10 November 2024
9: 129–142, doi:10.2140/pjm.1959.9.129. Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2000), Basic Proof Theory, Cambridge tracts in theoretical computer...
8 KB (1,050 words) - 20:48, 24 July 2024
ISBN 978-1-5225-2783-1. Bridges, Douglas; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut (30 April 2023). Handbook of Constructive Mathematics. Cambridge...
145 KB (16,445 words) - 14:44, 9 October 2024
Vol. B. Elsevier. pp. 493–574. ISBN 0-444-88074-7. Here: p.497 Schwichtenberg, Helmut; Wainer, Stanley S. (2009). Proofs and Computations. Cambridge:...
31 KB (4,537 words) - 22:04, 14 September 2024
Robert L. (2012) [2002]. "Naïve Computational Type Theory" (PDF). In Schwichtenberg, H.; Steinbruggen, R. (eds.). Proof and System-Reliability. Nato Science...
59 KB (7,869 words) - 16:07, 2 November 2024
ISSN 0036-8075. PMID 36862792. S2CID 257283260. Heine, Josephine; Schwichtenberg, Katia; Hartung, Tim J.; Rekers, Sophia; Chien, Claudia; Boesl, Fabian;...
323 KB (28,716 words) - 08:20, 11 November 2024
on the Curry-Howard Isomorphism" (PDF). Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2003) [1996]. Basic Proof Theory (2 ed.). Cambridge University...
23 KB (3,703 words) - 09:45, 2 November 2024
Mathematical Society, pp. 148–149, 203–204, ISBN 978-0-8218-4813-5 Schwichtenberg, Helmut; Wainer, Stanley S. (2012), "2.8 Recursive type-2 functionals and...
7 KB (930 words) - 02:51, 5 December 2021
(1935–2014) Carlos Schwabe (1866–1926) Otto Schwerdgeburth (1835–1866) Martel Schwichtenberg (1896–1945) Kurt Schwitters (1887–1948) Lothar von Seebach (1853–1930)...
45 KB (5,061 words) - 19:53, 17 October 2024
Schwarzmann (Accept, U.D.O., Running Wild, X-Wild, Krokus, Helloween) Ingo Schwichtenberg (Helloween) Andrew Scott (Sloan) Bon Scott (The Spektors) Kliph Scurlock...
62 KB (5,087 words) - 18:35, 25 October 2024
assistant that uses NBE as its rewrite engine. Berger, Ulrich; Schwichtenberg, Helmut (1991). "An inverse of the evaluation functional for typed λ-calculus"...
12 KB (1,618 words) - 11:34, 28 October 2024
Have Ever Tried". The Cut. Archived from the original on May 16, 2020. Schwichtenberg, Ramona Liera; Pribram, Deidre; Tetzlaff, Dave; Scott, Ron (1993). The...
212 KB (10,385 words) - 21:05, 27 June 2024
biographies" in her book, Vamps and Tramps. The Madonna Connection 1993 Cathy Schwichtenberg Westview Press 352 ISBN 978-0-813-31396-2 Compilation of essays about...
79 KB (3,381 words) - 15:50, 28 July 2024