- Radboud Repository
- →
- Collections Radboud University
- →
- Electronic publications
- →
- Browsing Electronic publications by Faculty & Departments
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse by Faculty & Departments
Now showing items 51-100 of 194
-
Proof-checking Euclid Beeson, Michael; Narboux, Julien; Wiedijk, Freek2019, Article / Letter to editor (Annals of Mathematics and Artificial Intelligence, vol. 85, iss. 2-4, (2019), pp. 213-257) -
Program Extraction from Large Proof Developments Cruz-Filipe, L.; Spitters, B.A.W.2003, Part of book or chapter of book (Basin, D. (ed.), Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, pp. 205-220) -
Problems in type theory 1999, Article in monograph or in proceedings (U. Berger; H. Schwichtenberg (eds.), Computational logic : [proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997], pp. 99-111)
-
Preface: Twenty Years of the QED Manifesto Harrison, J.; Urban, Josef; Wiedijk, F.2016, Article / Letter to editor (Journal of Formalized Reasoning, vol. 9, iss. 1, (2016), pp. 1-2)
-
Preface to the special issue: Constructive analysis, types and exact real numbers Spitters, B.; Geuvers, J.H. ; Niqui, M. ; Wiedijk, F.2007, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 17, iss. 1, (2007), pp. 1)
-
Preface 2011, Part of book or chapter of book (Eekelen, M. Van; Geuvers, H.; Schmaltz, J. (ed.), Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings, pp. V-VI)
-
Practising logic through the web 2009, Article / Letter to editor (Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, vol. 13, (2009), pp. 61-68)
-
Polynomial maps with strongly nilpotent Jacobian matrix and the Jacobian conjecture 1996, Article / Letter to editor (Linear Algebra and Its Applications, vol. 247, (1996), pp. 121-132)
-
A polynomial counterexample to the Markus-Yamabe conjecture Cima, A.; Essen, A. van den ; Gasull, Armengol; Hubbers, Engelbert-Martijn Guillermo Mateo ; Manosas, F.1997, Article / Letter to editor (Advances in Mathematics (New York. 1965), vol. 131, iss. 2, (1997), pp. 453-457)
-
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization Barendsen, E. ; Bezem, M.1996, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 79, iss. 3, (1996), pp. 221-280)
-
Pollack-inconsistency 2012, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 285, (2012), pp. 85-100)
-
Phine Numbers 2007, Part of book or chapter of book (Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 161-171)
-
-
Optical design with the aid of a genetic algorithm Leijenhorst, D.C. van ; Lucasius, C.B.; Thijssen, J.M.1996, Article / Letter to editor (Biosystems, vol. 37, iss. 3, (1996), pp. 177-187)
-
Opioid Peptides, CRF, and Urocortin in Cerebrospinal Fluid-Contacting Neurons in Xenopus laevis Calle, M. ; Claassen, I.E.; Veening, J.G. ; Kozicz, L.T. ; Roubos, E.W. ; Barendregt, H.P.2005, Article / Letter to editor (Annals of the New York Academy of Sciences, vol. 1040, (2005), pp. 249-252)
-
Opioid peptides, CRF, and Urocortin in cerebrospinal fluid-contacting neurons in /Xenopus leavis/. Calle, M. ; Claassen, I.E.W.M.; Veening, J.G. ; Kozicz, L.T. ; Roubos, E.W. ; Barendregt, H.P.2005, Article / Letter to editor (Trends in Comparative Endocrinology and Neurobiology, vol. 1040, (2005), pp. 249-252)
-
Open proofs and open terms: A basis for interactive logic Geuvers, J.H. ; Jojgov, G.I.2002, Part of book or chapter of book (Bradfield, J.C. (ed.), Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September, pp. 537-552)
-
Online maintenance of sensory and motor representations: Effects on corticospinal excitability Hurk, P.A.M. van den ; Mars, R.B. ; Elswijk, G.A.F. van ; Hegeman, J.; Pasman, J.W. ; Bloem, B.R. ; Toni, I.2007, Article / Letter to editor (Journal of Neurophysiology, vol. 97, iss. 2, (2007), pp. 1642-1648)
-
On-line maintenance of sensory and motor representations: Effects on cortico-spinal excitability Hurk, P.A.M. van den ; Mars, R.B. ; Elswijk, G.A.F. van ; Hegeman, J.; Pasman, J.W. ; Bloem, B.R. ; Toni, I.2006, Article / Letter to editor (Journal of Neurophysiology, vol. 97, iss. Feb 2007, (2006), pp. 1642-1648)
-
Normed uniformly reflexive structures 1975, Article in monograph or in proceedings (C. Böhm (ed.), Lambda-calculus and computer science theory : proceedings of the symposium held in Rome march 25 - 27, 1975, pp. 272-286)
-
Needed reduction and Spine Strategies for the lambda calculus Barendregt, H.P. ; Kennaway, J.R.; Klop, J.W. ; Sleep, M.R.1987, Article / Letter to editor (Information and Computation, vol. 75, iss. 3, (1987), pp. 191-231)
-
-
Natural Deduction via Graphs: Formal Definition and Computation Rules 2007, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 17, iss. 3, (2007), pp. 485-526)
-
Narrating Formal Proof (Work in Progress) 2012, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 285, (2012), pp. 71-83)
-
Narrating formal proof (Work in Progress) 2010, Article in monograph or in proceedings (Aspinall, D. (ed.), Proceedings of the UITP'10, pp. 1-14)
-
Mysticism and Beyond, Buddhist Phenomenology, Part II 1996, Article / Letter to editor (The Eastern Buddhist, vol. 29, iss. 2, (1996), pp. 262-287)
-
Multi-Output Ranking for Automated Reasoning Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H. ; Heskes, T.2011, Article in monograph or in proceedings (KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, pp. 42-51)
-
-
Modular properties of algebraic type systems Barthe, G.; Geuvers, H.1996, Article / Letter to editor (Higher-Order Algebra, Logic, and Term Rewriting, vol. 1074, (1996), pp. 37-56)
-
Mindfulness reduces habitual responding based on implicit knowledge: Evidence from artificial grammar learning Whitmarsh, S. ; Uddén, J.; Barendregt, H. ; Petersson, K.M.2013, Article / Letter to editor (Consciousness and Cognition, vol. 22, iss. 3, (2013), pp. 833-845)
-
Mindfulness meditation associated with alterations in bottom-up processing: Psychophysiological evidence for reduced reactivity Hurk, P.A.M. van den ; Janssen, B.H.; Giommi, F. ; Barendregt, H.P. ; Gielen, C.C.A.M.2010, Article / Letter to editor (International Journal of Psychophysiology, vol. 78, iss. 2, (2010), pp. 151-157)
-
Locating the range of an operator with an adjoint Bridges, D.; Ishihara, H.; Spitters, B.A.W.2003, Article / Letter to editor (Indagationes Mathematicae. New Series, vol. 13, iss. 4, (2003), pp. 433-440)
-
Localisation and physiological regulation of corticotrophin-releasing factor receptor 1 mRNA in the Xenopus laevis brain and pituitary gland. 2006, Article / Letter to editor (Journal of Neuroendocrinology, vol. 18, iss. 10, (2006), pp. 797-805)
-
Loader and Urzyczyn Are Logically Related Salvati, S.; Manzonetto, G.; Gehrke, M. ; Barendregt, H.2012, Part of book or chapter of book (Czumaj, A.; Mehlhorn, K. (ed.), Automata, Languages, and Programming, pp. 364-376)
-
Levels of undecidability in rewriting Endrullis, J.; Geuvers, H. ; Simonsen, J.G.; Zantema, H.2011, Article / Letter to editor (Information and Computation, vol. 209, iss. 2, (2011), pp. 227-245)
-
Learning2Reason Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H. ; Heskes, T.2011, Part of book or chapter of book (Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 298-300)
-
LEAN: An intermediate language based on graph rewriting Barendregt, H.P. ; Eekelen, M.C.J.D. van ; Glauert, J.R.W.; Kennaway, J.R.; Plasmeijer, M.J. ; Sleep, M.R.1989, Article / Letter to editor (Journal of Parallel Computing, vol. 9, iss. 2, (1989), pp. 163-177)
-
Lambda terms for natural deduction, sequent calculus and cut elimination Barendregt, H.P. ; Ghilezan, S.2000, Article / Letter to editor (Journal of Functional Programming, vol. 10, iss. 1, (2000), pp. 121-134)
-
Lambda calculi with types 1992, Part of book or chapter of book (S. Abramsky; D.M. Gabbai; T.S.E. Maibaum (eds.), Handbook of logic in computer science; vol. 2, pp. 117-309)
-
Kreisel, lambda calculus, a windmill and a castle 1996, Part of book or chapter of book (P. Odifreddi; A.K. Peters (eds.), Kreiseliana, about and around Georg Kreisel, pp. 3-14)
-
-
Juggling with combinators 1988, Part of book or chapter of book (C. Pronk; W.J. Toetenel (eds.), Vooruitgang bit voor bit; : Liber Amicorum ac Collegarum bij het afscheid van Prof. dr. ir. W.L. van der Poel, 26 oktober 1988, pp. 35-42)
-
Journal of Automated Reasoning: Preface Carette, J.; Wenzel, M.; Wiedijk, F.2010, Article / Letter to editor (Journal of Automated Reasoning, vol. 44, iss. 1-2, (2010), pp. 1-2)
-
Iteration and primitive recursion in categorical terms 2007, Part of book or chapter of book (Barendsen, Erik; Capretta, Venanzio; Geuvers, Herman (ed.), Reflections on Type Theory, lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 101-114)
-
Intuitionistic Quantum Logic of an n-level System Caspers, M.P.T.; Heunen, C. ; Landsman, N.P. ; Spitters, B.2009, Article / Letter to editor (Foundations of Physics, vol. 39, iss. 7, (2009), pp. 731-759)
-
Introduction to lambda calculus 1984, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 4, iss. 2, (1984), pp. 337-372)
-
Introduction to generalized type systems 1991, Article / Letter to editor (Journal of Functional Programming, vol. 1, iss. 2, (1991), pp. 124-154)
-
Induction is not derivable in second order dependent type theory 2001, Part of book or chapter of book (Abramsky, S. (ed.), Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings, pp. 166-181)
-
(In)consistency of Extensions of Higher Order Logic and Type Theory 2007, Article in monograph or in proceedings (Altenkirch, Thorsten; McBride, Conor (ed.), Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers, pp. 140-159)
-
The impact of the lambda calculus in logic and computer science 1997, Article / Letter to editor (The Bulletin of Symbolic Logic, vol. 3, iss. 2, (1997), pp. 181-215)
Now showing items 51-100 of 194
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text