Browsing by Author "Spitters, B.A.W."
Now showing items 139 of 39

Sets in homotopy type theory
Rijke, E.; Spitters, B.2015, Article / Letter to editor (Mathematical Structures in Computer Science, 25, Special Issue 05, (2015), pp. 11721202) 
Type classes for efficient exact real arithmetic in Coq
Krebbers, R.J.; Spitters, B.2013, Article / Letter to editor (Logical Methods in Computer Science, 9, 1, (2013), pp. 1(1)1(27)) 
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 2226, 2013. Proceedings, pp. 463468) 
A constructive proof of Simpson's Rule
Coquand, T.; Spitters, B.2012, Article / Letter to editor (Journal of Logic and Analysis, 4, 15, (2012), pp. 18) 
Bohrification of operator algebras and quantum logic
Heunen, C.; Landsman, N.; Spitters, B.A.W.2012, Article / Letter to editor (Synthese, 186, 3, (2012), pp. 719752) 
The Space of Measurement Outcomes as a Spectral Invariant for NonCommutative Algebras
Spitters, B.2012, Article / Letter to editor (Foundations of Physics, 42, 7, (2012), pp. 896908) 
Computer Certified Efficient Exact Reals in Coq
Krebbers, R.J.; Spitters, B.A.W.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 1823, 2011. Proceedings, pp. 90106) 
Bohrification
Heunen, C.; Landsman, N.P.; Spitters, B.A.W.2011, Part of book or chapter of book (Halvorson, H. (ed.), Deep Beauty : understanding the quantum world through mathematical innovation, pp. 271316) 
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, 21, 4, (2011), pp. 795825) 
Metric complements of overt closed sets
Coquand, T.; Palmgren, E.; Spitters, B.2011, Article / Letter to editor (Mathematical Logic Quarterly, 57, 4, (2011), pp. 373378) 
The Gelfland spectrum of a noncommutative C*algebra: a topostheoretic 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, 90, 1, (2011), pp. 3952) 
A computerverified monadic functional implementation of the integral
O'Connor, R.; Spitters, B.2010, Article / Letter to editor (Theoretical Computer Science, 411, 37, (2010), pp. 33863402) 
Constructive Pointfree Topology Eliminates Nonconstructive Representation Theorems from Riesz Space Theory
Spitters, B.2010, Article / Letter to editor (OrderA Journal on the Theory of Ordered Sets and Its Applications, 27, 2, (2010), pp. 225233) 
Locatedness and overt sublocales
Spitters, B.2010, Article / Letter to editor (Annals of Pure and Applied Logic, 162, 1, (2010), pp. 3654) 
The space of measurement outcomes as a spectrum for noncommutative algebras
Spitters, B.2010, Article in monograph or in proceedings (Coecke, B. (ed.), Proceedings of the 7th International QPL Workshop Quantum Physics and Logic, May 2930, 2010, Oxford University, UK, pp. 161168) 
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. 490493) 
A Constructive Theory of Banach algebras
Coquand, T.; Spitters, B.A.W.2010, Article / Letter to editor (Journal of Logic and Analysis, 2, 11, (2010), pp. 115) 
A topos for algebraic quantum theory
Heunen, Chris; Landsman, N.P.; Spitters, Bas2009, Article / Letter to editor (Communications in Mathematical Physics, 291, 1, (2009), pp. 63110) 
Constructive Gelfand duality for C*algebras
Coquand, Thierry; Spitters, Bas2009, Article / Letter to editor (Mathematical Proceedings of the Cambridge Philosophical Society, 147, 2, (2009), pp. 339344) 
Intuitionistic Quantum Logic of an nlevel System
Caspers, M.P.T.; Heunen, C.; Landsman, N.P.; Spitters, B.2009, Article / Letter to editor (Foundations of Physics, 39, 7, (2009), pp. 731759) 
Integrals and Valuations
Coquand, Thierry; Spitters, Bas2009, Article / Letter to editor (Journal of Logic and Analysis, 1, 3, (2009), pp. 122) 
The principle of general tovariance
Heunen, C.J.M.; Landsman, N.P.; Spitters, B.A.W.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. 93102) 
Constructive analysis, types and exact real numbers (overview article)
Geuvers, Herman; Niqui, Milad; Spitters, Bas; Wiedijk, Freek2007, Article / Letter to editor (Mathematical Structures in Computer Science, 17, 1, (2007), pp. 336) 
A constructive view on ergodic theorems
Spitters, B.A.W.2006, Article / Letter to editor (Journal of Symbolic Logic, 71, 2, (2006), pp. 611623) 
A constructive view on ergodic theorems
Spitters, B.A.W.2006, Article / Letter to editor (Journal of Symbolic Logic, 71, 4, (2006), pp. 14311432) 
Constructive Algebraic Integration theory
Spitters, Bas2006, Article / Letter to editor (Annals of Pure and Applied Logic, 137, 1, (2006), pp. 380390) 
A constructive proof of the PeterWeyl theorem
Coquand, Thierry; Spitters, B.A.W.2005, Article / Letter to editor (Mathematical Logic Quarterly, 4, 4, (2005), pp. 351359) 
Approximating integrable sets by compacts constructively
Spitters, B.A.W.2005, Article in monograph or in proceedings (From Sets and Types to Topology and Analysis  Towards Practicable Foundations for Constructive Mathematics, pp. 268279) 
Constructive algebraic integration theory without choice
Spitters, B.A.W.2005, Article in monograph or in proceedings (Coquand, Thierry; Lombardi, Henri; Roy, MarieFran (ed.), Mathematics, Algorithms, Proofs, pp. 113) 
Formal Topology and Constructive Mathematics: the Gelfand and StoneYosida Representation Theorems
Coquand, T.; Spitters, B.A.W.2005, Article / Letter to editor (Journal of Universal Computer Science, 11, 12, (2005), pp. 19321944) 
Almost periodic functions, constructively
Spitters, B.A.W.2005, Article / Letter to editor (Logical Methods in Computer Science, 1, 3, (2005), pp. 17) 
Constructive Results on Operator Algebras
Spitters, B.A.W.2005, Article / Letter to editor (Journal of Universal Computer Science, 11, 12, (2005), pp. 20962113) 
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, 13, 4, (2003), pp. 433440) 
Program Extraction from Large Proof Developments
CruzFilipe, 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. 205220) 
Located Operators
Spitters, B.A.W.2002, Article / Letter to editor (Mathematical Logic Quarterly, 48, 1, (2002), pp. 107122) 
A constructive converse of the mean value theorem
Spitters, B.A.W.; Veldman, W.H.M.2000, Article / Letter to editor (Indagationes Mathematicae. New Series, 11, 1, (2000), pp. 151157)