For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

Prof. dr. J.A. (Jan) Bergstra

Faculty of Science
Informatics Institute
Visiting address
  • Science Park 904
Postal address
  • Postbus 94323
    1090 GH Amsterdam
Contact details
  • Profile
    https://staff.fnwi.uva.nl/j.a.bergstra
  • Publications

    2021

    2020

    2019

    2018

    • Bergstra, J. A., & Middelburg, C. A. (2018). A Short Introduction to Program Algebra with Instructions for Boolean Registers. Computer Science Journal of Moldova, 26(3 (78)), 199-232. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2018). Instruction sequences expressing multiplication algorithms. Scientific Annals of Computer Science, 28(1), 39-66. https://doi.org/10.7561/SACS.2018.1.39 [details]

    2017

    • Bergstra, J. A., & Bethke, I. (2017). Subvarieties of the Variety of Meadows. Scientific Annals of Computer Science, 27(1), 1-18. https://doi.org/10.7561/SACS.2017.1.1 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2017). Axioms for behavioural congruence of single-pass instruction sequences. Scientific Annals of Computer Science, 27(2), 111-135. https://doi.org/10.7561/SACS.2017.2.111 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2017). Contradiction-tolerant process algebra with propositional signals. Fundamenta Informaticae, 153(1-2), 29-55. https://doi.org/10.3233/FI-2017-1530 [details]
    • Bergstra, J. A., & Ponse, A. (2017). Probability Functions in the Context of Signed Involutive Meadows: Extended Abstract. In P. James, & M. Roggenbach (Eds.), Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers (pp. 73–87). (Lecture Notes in Computer Science; Vol. 10644). Cham: Springer. https://doi.org/10.1007/978-3-319-72044-9_6 [details]

    2016

    2015

    2014

    2013

    2012

    2011

    2010

    2009

    • Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequences with dynamically instantiated instructions. Fundamenta Informaticae, 96(1-2), 27-48. https://doi.org/10.3233/FI-2009-165 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Machine structure oriented control code logic. Acta Informatica, 46(5), 375-401. https://doi.org/10.1007/s00236-009-0099-2 [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Transmission protocols for instruction streams. In M. Leucker, & C. Morgan (Eds.), Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings (pp. 127-139). (Lecture Notes in Computer Science; Vol. 5684). Berlin: Springer. https://doi.org/10.1007/978-3-642-03466-4_8 [details]
    • Bergstra, J. A., & Ponse, A. (2009). An instruction sequence semigroup with involutive anti-automorphisms. Scientific Annals of Computer Science, 19, 57-92. [details]

    2008

    2016

    • Bergstra, J. A., & Ponse, A. (2016). Datatype defining rewrite systems for the ring of integers, and for natural and integer arithmetic in unary view. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2014

    • Bergstra, J. A. (2014). Division by Zero and Abstract Data Types. (Theory of Computer Science electronic report series; No. 1404). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Four Complete Datatype Defining Rewrite Systems for an Abstract Datatype of Natural Numbers. (3 ed.) (TCS Electronic Report series; No. 1407). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). From Software Crisis to Informational Money. (TCS Electronic Report series; No. 1414). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Personal Multi-threading. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A. (2014). Rekenen in een Conservatieve Schrapwet Weide. (TCS Electronic Report series; No. 1405). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A., & Burgess, M. (2014). Promise Theory: Principles and Applications. CreateSpace. [details]
    • Bergstra, J. A., & Burgess, M. (2014). Promises, Impositions, and other Directionals. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A., & Ponse, A. (2014). Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals. (2 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A., & Weijland, P. (2014). Bitcoin: a Money-like Informational Commodity. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2012

    • Bergstra, J. A., & Middelburg, C. A. (2012). Instruction Sequences for Computer Science. (Atlantis Studies in Computing; No. 2). Paris: Atlantis Press. [details]

    2011

    • Bergstra, J. A. (2011). Dialectical roots for interest prohibition theory. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2011). Informatics perspectives on decision taking. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2011). Putting instruction sequences into effect. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2011). Real Islamic Logic. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2011). An application specific informal logic for interest prohibition theory. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2011). Interest prohibition and financial product innovation. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2011). On the behaviours produced by instruction sequences under execution. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Introducing sourcements. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Outsourcing competence. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., Delen, G., & van Vlijmen, B. (2011). Stratified outsourcing theory. Ithaca, NY: arXiv.org. [details]

    2010

    • Bergstra, J. A. (2010). Formaleuros, formalcoins and virtual monies. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2010). Informal control code logic. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A. (2010). Steering fragments of instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Bethke, I. (2010). On the contribution of backward jumps to instruction sequence expressiveness. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2010). On the definition of a theoretical concept of an operating system. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2010). Short-circuit logic. Ithaca, NY: arXiv.org. [details]

    2009

    • Bergstra, J. A., & Bethke, I. (2009). Square root meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Bethke, I. (2009). Straight-line instruction sequence completeness for total calculation on cancellation meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). A process calculus with finitary comprehended terms. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Arithmetical meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Autosolvability of halting problem instances for instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Functional units for natural numbers. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Indirect jumps improve instruction sequence performance. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence notations with probabilistic instructions. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Instruction sequence processing operators. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Inversive meadows and divisive meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Meadow enriched ACP process algebras. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). On the expressiveness of single-pass instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Partial Komori fields and imperative Komori fields. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Thread extraction for polyadic instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2009). Timed tuplix calculus and the Wesseling and van den Bergh equation. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2009). A progression ring for interfaces of instruction sequences, threads, and services. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., & Burgess, M. (2009). Local and global trust based on the concept of promises. Ithaca, NY: arXiv.org. [details]

    2008

    • Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage algebra, data linkage dynamics, and priority rewriting. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Data linkage dynamics with shedding. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences and non-uniform complexity theory. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Instruction sequences for the production of processes. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Middelburg, C. A. (2008). Thread algebra for poly-threading. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). A generic basis theorem for cancellation meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). An instruction sequence semigroup with repeaters. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). Differential meadows. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & Ponse, A. (2008). Proposition algebra with projective limits. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., & van der Zwaag, M. B. (2008). Mechanistic behavior of single-pass instruction sequences. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Towards a formalization of budgets. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., Nolst Trenité, S., & van der Zwaag, M. B. (2008). Tuplix Calculus specifications of financial transfer networks. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J., & Burgess, M. (2008). A static theory of promises. Ithaca, NY: arXiv.org. [details]

    2014

    • Bergstra, J. A. (2014). Bitcoin and Islamic Finance. (3 ed.) (TCS Electronic Report series; No. 1406). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Bitcoin, een "money-like informational commodity". (TCS Electronic Report series; No. 1401). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Bitcoin: Informational Money en het Einde van Gewoon Geld. (TCS Electronic Report series; No. 1408). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A. (2014). Bitcoin: not a currency-like informational commodity. (TCS Electronic Report series; No. 1411). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Rekenen-Informatica. (TCS Electronic Report series; No. 1412). Amsterdam: University of Amsterdam, Theory of Computer Science. [details]

    2013

    • Bergstra, J., Blanck, J., Moller, F., & Wainer, S. (2013). Guest editorial. Computer Journal, 56(1). https://doi.org/10.1093/comjnl/bxs147 [details]
    • Bergstra, J., Klop, J. W., & Rutten, J. (2013). Obituary for Jaco de Bakker, 1930-2012. Bulletin of the European Association for Theoretical Computer Science, 109, 14-16. [details]

    2011

    • Bergstra, J. A., & Middelburg, C. A. (2011). Interest prohibition and financial product innovation. In A. Escurat (Ed.), Finance islamique: regard(s) sur une finance alternative: recueil d'articles d'experts internationaux (pp. 274-284). Alger: Mazars Hadj Ali.

    1998

    • Bergstra, J. A., & van Vlijmen, S. F. M. (1998). Theoretische software-engineering: kenmerken, faseringen en classificaties. (Quaestiones Infinitae; Vol. 28). Utrecht: Zeno, the Leiden - Utrecht research institute of philosophy. [details]

    2017

    • Bergstra, J. A., Bethke, I., & Hendriks, D. (2017). Universality of Univariate Mixed Fractions in Divisive Meadows. (1 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2016

    • Bergstra, J. A. (2016). Adams Conditioning and Likelihood Ratio Transfer Mediated Inference. (3 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]
    • Bergstra, J. A. (2016). Conditional Values in Signed Meadow Based Axiomatic Probability Calculus. (3 ed.) Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2015

    • Bergstra, J. A., & Bethke, I. (2015). A negative result on algebraic specifications of the meadow of rational numbers. (1 ed.) Universiteit van Amsterdam.
    • Bergstra, J. A., & Bethke, I. (2015). Subvarieties of the variety of meadows. Amsterdam: Informatics Institute, University of Amsterdam. [details]

    2014

    • Bergstra, J. A., & Bethke, I. (2014). Note on paraconsistency and reasoning about fractions. Ithaca, NY: arXiv.org. [details]
    • Bergstra, J. A., Bethke, I., & Ponse, A. (2014). Equations for formally real meadows. Ithaca, NY: arXiv.org. [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    No ancillary activities
edit contact information   edit profile page