- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Spitters, Bastiaan Alexander Wilhelmus"
Now showing items 1-40 of 40
-
Sets in homotopy type theory Rijke, E.; Spitters, B.2015, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 25, iss. Special Issue 05, (2015), pp. 1172-1202) -
Homotopy Type Theory : Univalent Foundations of Mathematics Aczel, P.; Spitters, B. ; Zeilberger, N.2013, Book (monograph) -
The Picard Algorithm for Ordinary Differential Equations in Coq Makarov, E.; Spitters, B.2013, Article in monograph or in proceedings (Blazy, S. (ed.), Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 463-468)
-
Type classes for efficient exact real arithmetic in Coq 2013, Article / Letter to editor (Logical Methods in Computer Science, vol. 9, iss. 1, (2013), pp. 1(1)-1(27))
-
Proceedings 8th International Workshop on Quantum Physics and Logic Nijmegen, Netherlands, October 27-29, 2011 Jacobs, B. ; Selinger, P.; Spitters, B.2012, Book (monograph) -
The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras 2012, Article / Letter to editor (Foundations of Physics, vol. 42, iss. 7, (2012), pp. 896-908)
-
A constructive proof of Simpson's Rule Coquand, T.; Spitters, B.2012, Article / Letter to editor (Journal of Logic and Analysis, vol. 4, iss. 15, (2012), pp. 1-8)
-
Bohrification of operator algebras and quantum logic Heunen, C. ; Landsman, N.; Spitters, B.A.W.2012, Article / Letter to editor (Synthese, vol. 186, iss. 3, (2012), pp. 719-752)
-
Type classes for mathematics in type theory Spitters, B.A.W. ; Weegen, E.E. van der2011, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 21, iss. 4, (2011), pp. 795-825)
-
Metric complements of overt closed sets Coquand, T.; Palmgren, E.; Spitters, B.2011, Article / Letter to editor (Mathematical Logic Quarterly, vol. 57, iss. 4, (2011), pp. 373-378)
-
Bohrification 2011, Part of book or chapter of book (Halvorson, H. (ed.), Deep Beauty : understanding the quantum world through mathematical innovation, pp. 271-316)
-
The Gelfland spectrum of a noncommutative C*-algebra: a topos-theoretic approach Heunen, C. ; Landsman, N.P. ; Spitters, B.A.W. ; Wolters, S.A.M.2011, Article / Letter to editor (Journal of the Australian Mathematical Society, vol. 90, iss. 1, (2011), pp. 39-52)
-
Computer Certified Efficient Exact Reals in Coq 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. 90-106)
-
Locatedness and overt sublocales 2010, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 162, iss. 1, (2010), pp. 36-54)
-
A computer-verified monadic functional implementation of the integral 2010, Article / Letter to editor (Theoretical Computer Science, vol. 411, iss. 37, (2010), pp. 3386-3402)
-
Developing the algebraic hierarchy with type classes in Coq Spitters, B.A.W. ; Weegen, E.E. van der2010, Part of book or chapter of book (Kaufmann, M. (ed.), Interactive Theorem Proving : first International Conference on Interactive Theorem Proving, ITP 2010; Edinburgh; 11 July 2010 through 14 July 2010; proceedings, pp. 490-493)
-
The space of measurement outcomes as a spectrum for non-commutative algebras 2010, Article in monograph or in proceedings (Coecke, B. (ed.), Proceedings of the 7th International QPL Workshop Quantum Physics and Logic, May 29-30, 2010, Oxford University, UK, pp. 161-168)
-
A Constructive Theory of Banach algebras Coquand, T.; Spitters, B.A.W.2010, Article / Letter to editor (Journal of Logic and Analysis, vol. 2, iss. 11, (2010), pp. 1-15)
-
Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory 2010, Article / Letter to editor (Order-A Journal on the Theory of Ordered Sets and Its Applications, vol. 27, iss. 2, (2010), pp. 225-233)
-
The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach Heunen, C. ; Landsman, N.P. ; Spitters, B.A.W. ; Wolters, S.A.M.2010, Article / Letter to editor (Arxiv.Org, vol. 1010.2050, (2010), pp. 1-12)
-
Constructive Gelfand duality for C*-algebras Coquand, Thierry; Spitters, Bas2009, Article / Letter to editor (Mathematical Proceedings of the Cambridge Philosophical Society, vol. 147, iss. 2, (2009), pp. 339-344)
-
Integrals and Valuations Coquand, Thierry; Spitters, Bas2009, Article / Letter to editor (Journal of Logic and Analysis, vol. 1, iss. 3, (2009), pp. 1-22)
-
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)
-
A topos for algebraic quantum theory 2009, Article / Letter to editor (Communications in Mathematical Physics, vol. 291, iss. 1, (2009), pp. 63-110)
-
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)
-
Constructive analysis, types and exact real numbers (overview article) 2007, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 17, iss. 1, (2007), pp. 3-36)
-
A constructive view on ergodic theorems 2006, Article / Letter to editor (Journal of Symbolic Logic, vol. 71, iss. 4, (2006), pp. 1431-1432)
-
A constructive view on ergodic theorems 2006, Article / Letter to editor (Journal of Symbolic Logic, vol. 71, iss. 2, (2006), pp. 611-623)
-
Constructive Algebraic Integration theory 2006, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 137, iss. 1, (2006), pp. 380-390)
-
Constructive algebraic integration theory without choice 2005, Article in monograph or in proceedings (Coquand, Thierry; Lombardi, Henri; Roy, Marie-Fran (ed.), Mathematics, Algorithms, Proofs, pp. 1-13)
-
Approximating integrable sets by compacts constructively 2005, Article in monograph or in proceedings (From Sets and Types to Topology and Analysis -- Towards Practicable Foundations for Constructive Mathematics, pp. 268-279)
-
Constructive Results on Operator Algebras 2005, Article / Letter to editor (Journal of Universal Computer Science, vol. 11, iss. 12, (2005), pp. 2096-2113)
-
A constructive proof of the Peter-Weyl theorem Coquand, Thierry; Spitters, B.A.W.2005, Article / Letter to editor (Mathematical Logic Quarterly, vol. 4, iss. 4, (2005), pp. 351-359)
-
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems Coquand, T.; Spitters, B.A.W.2005, Article / Letter to editor (Journal of Universal Computer Science, vol. 11, iss. 12, (2005), pp. 1932-1944)
-
Almost periodic functions, constructively 2005, Article / Letter to editor (Logical Methods in Computer Science, vol. 1, iss. 3, (2005), pp. 1-7)
-
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)
-
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)
-
Located Operators 2002, Article / Letter to editor (Mathematical Logic Quarterly, vol. 48, iss. Suppl. 1, (2002), pp. 107-122)
-
A constructive converse of the mean value theorem 2000, Article / Letter to editor (Indagationes Mathematicae. New Series, vol. 11, iss. 1, (2000), pp. 151-157)
Now showing items 1-40 of 40
Search Repository
Browse
-
All of Repository
Upload Full Text