- 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 1-50 of 192
-
Wiskundig onderzoek per computer? Cornelissen, G.; Graaf, W.T.A. van der ; Kallen, W. van der; Sijsling, J.; Smit, B.; Stevens, J.; Wiedijk, F.2009, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 10, iss. 3, (2009), pp. 197-200) -
Wiskunde, mystiek en natuurwetenschappen 2009, Article / Letter to editor (Filosofie & Praktijk, vol. 30, iss. 4, (2009), pp. 50-59)
-
Wetenschap en meditatie 2009, Part of book or chapter of book (Duintjer, Manon (ed.), Zien is geloven : Exacte wetenschappen over spiritualiteit, pp. 128-140)
-
Types in lambda calculi and programming languages Barendregt, H.P. ; Hemerik, C.1990, Article in monograph or in proceedings (N.D. Jones (ed.), ESOP'90 : proceedings of the 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, pp. 1-35)
-
The type free lambda calculus 1977, Part of book or chapter of book (J. Barwise (ed.), Handbook of mathematical logic, pp. 1091-1132)
-
A two-level approach towards lean proof-checking Barthe, G.; Ruys, M.; Barendregt, H.P.1996, Article in monograph or in proceedings (S. Berardi; M. Coppo (eds.), Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers, pp. 16-35)
-
Towards the range property for the lambda theory H 2008, Article / Letter to editor (Theoretical Computer Science, vol. 398, iss. 1-3, (2008), pp. 12-15)
-
Towards 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.1987, Part of book or chapter of book (Bakker, J.W.; Nijman, A.J.; Treleaven, P.C. (ed.), PARLE Parallel Architectures and Languages Europe, pp. 159-175)
-
Towards an interactive Mathematical Proof Language 2003, Part of book or chapter of book (F. Kamareddine (ed.), Thirty-five years of automating mathematics, pp. 25-36) -
The principle of general tovariance 2008, Article in monograph or in proceedings (Fernandes, R.L.; Picken, R. (ed.), Geometry and physics : XVI International Fall Workshop, Lisbon (Portugal), 5–8 September 2007, pp. 93-102)
-
The matrix of a connection having regular singularities on a vector bundle of rank 2 on IP1(c) 1979, Part of book or chapter of book (Gérard, R.; Ramis, J.-P. (ed.), Equations Différentielles et Systèmes de Pfaff dans le Champ Complexe, pp. 33-43)
-
The lambda mu(T)-calculus 2013, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 164, iss. 6, (2013), pp. 676-701)
-
The efficacy of mindfulness-based cognitive therapy in recurrent depressed patients with and without a current depressive episode: a randomized controlled trial Aalderen, J.R. van ; Donders, A.R.T. ; Giommi, F. ; Spinhoven, P. ; Barendregt, H.P. ; Speckens, A.E.M.2012, Article / Letter to editor (Psychological Medicine, vol. 42, iss. 5, (2012), pp. 989-1001)
-
The effects of Beta-Endorphin: state change modification 2015, Article / Letter to editor (Fluids and Barriers of the Cns, vol. 12, iss. 3, (2015), pp. 3(1)-3(52))
-
The correctness of Newman’s typability algorithm and some of its extensions Geuvers, H. ; Krebbers, R.2011, Article / Letter to editor (Theoretical Computer Science, vol. 412, iss. 28, (2011), pp. 3242-3261)
-
The Challenge of Computer Mathematics 2005, Article / Letter to editor (Philosophical Transactions of the Royal Society A, vol. 1835, iss. 1835, (2005), pp. 2351-2375)
-
The Abhidhamma Model AM$_0$ of Consciousness and some of its Consequences 2006, Part of book or chapter of book (M.G.T. Kwee, K.J. Gerge; Koshikawa, F. (ed.), Buddhist Psychology: Practice, Research & Theory, pp. 331-349)
-
Termination for the direct sum of left-linear term rewriting systems Toyama, Y.; Klop, J.W. ; Barendregt, H.P.1989, Part of book or chapter of book (Dershowitz, N. (ed.), Rewriting Techniques and Applications, pp. 477-491)
-
Termination for direct sums of left-linear complete term rewriting systems Toyama, Y.; Klop, J.W. ; Barendregt, H.P.1995, Article / Letter to editor (Journal of the Association for Computing Machinery, vol. 42, iss. 6, (1995), pp. 1275-1304)
-
Term graph rewriting Barendregt, H.P. ; Eekelen, M.C.J.D. van ; Glauert, J.R.W.; Kennaway, J.R.; Plasmeijer, M.J. ; Sleep, M.R.1987, Article in monograph or in proceedings (J.W. de Bakker (eds.), Parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15 - 19, 1987, proceedings, pp. 141-158)
-
Tensegrities 2004, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 5/5, iss. 4, (2004), pp. 279-283)
-
Teaching logic using a state-of-the-art proof assistant Kaliszyk, C.S. ; Wiedijk, F. ; Hendriks, M. ; Raamsdonk, F. van2007, Article in monograph or in proceedings (Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50)
-
Systems of illative combinatory logic complete for first-order propositional and predicate calculus Barendregt, H.P. ; Bunder, M.; Dekkers, W.1993, Article / Letter to editor (Journal of Symbolic Logic, vol. 58, iss. 3, (1993), pp. 769-788)
-
-
Strictness Analysis via Resource Typing 2007, Part of book or chapter of book (E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 29-40)
-
Stateless HOL 2011, Article in monograph or in proceedings (Hirschowitz, T. (ed.), Proceedings Types for Proofs and Programs, Revised Selected Papers Aussois, France, 12-15th May 2009, pp. 47-61)
-
-
Solvability in lambda-calculi 1974, Article / Letter to editor (Journal of Symbolic Logic, vol. 39, iss. 2, (1974), pp. 372)
-
Solvability in lambda calculi 1977, Article in monograph or in proceedings (M. Guillaume (ed.), Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975, pp. 209-219)
-
A simple model construction for the Calculus of Constructions Stefanova, M.; Geuvers, H.1996, Article / Letter to editor (Lecture Notes in Computer Science, vol. 1158, (1996), pp. 249-264)
-
Separation Logic for Non-local Control Flow and Block Scope Variables 2013, Part of book or chapter of book (Pfenning, F. (ed.), Foundations of Software Science and Computation Structures, pp. 257-272)
-
Sensorimotor alpha activity is modulated in response to observation of pain in others 2011, Article / Letter to editor (Frontiers in Human Neuroscience, vol. 5, (2011), article 91)
-
Semantics for classical AUTOMATH and related systems Barendregt, H.P. ; Rezus, A.1983, Article / Letter to editor (Information and Control, vol. 59, iss. 1-3, (1983), pp. 127-147)
-
Semantic Graph Kernels for Automated Reasoning Tsivtsivadze, E.; Urban, J.; Geuvers, H. ; Heskes, T.2011, Article in monograph or in proceedings (Proceedings of the Eleventh SIAM International Conference on Data Mining, Mesa, Arizona, April 28 - 30, 2011, pp. 795-803)
-
Self-interpretation in lambda calculus 1991, Article / Letter to editor (Journal of Functional Programming, vol. 1, iss. 2, (1991), pp. 229-233)
-
Selectie in de wereld van Plato 1999, Part of book or chapter of book (R. Welterse (ed.), Grenzeloze selectie : 75 jaar Katholieke Universiteit Nijmegen, pp. 89-100)
-
Safe proof checking in type theory with Y Geuvers, J.H. ; Poll, E. ; Zwanenburg, J.1999, Part of book or chapter of book (Flum, J.; Rodriguez Artalejo, M. (ed.), 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 439-452)
-
Rewriting for Fitch style natural deductions Geuvers, J.H. ; Nederpelt, Rob2004, Article in monograph or in proceedings (Oostrom, Vincent van (ed.), 15th Internat. Conference on Rewriting Techniques and Applications, RTA 2004, Aachen,, pp. 134-154)
-
Representing 'undefined' in lambda calculus 1992, Article / Letter to editor (Journal of Functional Programming, vol. 2, iss. 3, (1992), pp. 367-374)
-
Representability in lambda algebras Barendregt, H.P. ; Bergstra, J.A.; Klop, J.W. ; Volken, H.1976, Article / Letter to editor (Indagationes Mathematicae. New Series, vol. 38, (1976), pp. 377-387)
-
Reflections on a Geometry of Processes Grabmayer, C. A.; Klop, J.W. ; Luttik, S. P.2005, Article in monograph or in proceedings (Aceto, Luca; Gordon, Andrew D. (ed.), Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Forlı, Italy, August 1–5, 2005, pp. 118-125)
-
Reflection in the Chomsky Hierarchy Barendregt, H. ; Capretta, V. ; Kozen, D.C.2012, External research report
-
Reflection in the chomsky hierarchy Barendregt, H.P. ; Capretta, V. ; Kozen, D.C.2013, Article / Letter to editor (Journal of Automata, Languages and Combinatorics, vol. 18, iss. 1, (2013), pp. 53-60)
-
Reducibility of types in typed lambda calculus: Comment on a paper by Richard Statman 1988, Article / Letter to editor (Information and Computation, vol. 77, iss. 2, (1988), pp. 131-137)
-
Recursion theoretic operators and morphisms of numbered sets Barendregt, H.P. ; Longo, G.1983, Article / Letter to editor (Fundamenta Mathematicae, vol. 119, iss. 1, (1983), pp. 49-62)
-
The quest for correctness 1996, Part of book or chapter of book (Images of SMC research 1996, pp. 39-58)
-
Proviola: A tool for proof re-animation 2010, Part of book or chapter of book (Autexier, S. (ed.), Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 440-454)
-
Proofs of correctness in Mathematics and Industry 2009, Part of book or chapter of book (Wah, Benjamin W. (ed.), Wiley Encyclopedia of Computer Science and Engineering, pp. 2284-2290)
Now showing items 1-50 of 192
Search Repository
Browse
-
All of Repository
-
This Collection
Upload Full Text