Mathematically Structured Programming

Filter
Chapter

Search results

  • 2022

    Knowledge and simplicial complexes

    van Ditmarsch, H., Goubault, É., Ledent, J. & Rajsbaum, S., 5 May 2022, (E-pub ahead of print) Philosophy of Computing: Philosophical Studies Series. Cham, Switzerland: Springer, Vol. 143. p. 1-50 50 p. (Philosophical Studies Series; vol. 143).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Infinite horizon extensive form games, coalgebraically

    Capucci, M., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 21 Feb 2022, (Accepted/In press) Mathematics for Computation. Singapore: World Scientific Publishing Co. Pte Ltd, 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2016

    Conflation confers concurrency

    Atkey, R., Lindley, S. & Morris, J. G., 28 Apr 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Springer, Vol. 9600. p. 32-55 24 p. (Lecture Notes in Computer Science; vol. 9600).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    20 Citations (Scopus)
    48 Downloads (Pure)
  • 2014

    A final coalgebra for k-regular sequences

    Hansen, H. H., Kupke, C., Rutten, J. & Winter, J., May 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Vol. 8464. p. 363-383 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • 2012

    Minimization via duality

    Bezhanishvili, N., Kupke, C. & Panangaden, P., 11 Aug 2012, Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Ong, L. & de Queiroz, R. (eds.). Berlin: Springer, Vol. 7456 . p. 191-205 15 p. (Lecture Notes in Computer Science; vol. 7456).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    27 Citations (Scopus)
    47 Downloads (Pure)
  • Combining epistemic logic and Hennessy-Milner logic

    Knight, S., Mardare, R. & Panangaden, P., 21 May 2012, Logic and Program Semantics. Constable, R. L. & Silva, A. (eds.). Berlin: Springer-Verlag, p. 219-243 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7230 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • 2009

    Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract)

    McBride, C., Kurz, A. (ed.), Lenisa, M. (ed.) & Tarlecki, A. (ed.), Sep 2009, Algebra and Coalgebra in Computer Science. 5728 ed. Springer, p. 113-126 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    16 Citations (Scopus)
  • 2008

    CoqJVM: an executable specification of the Java Virtual Machine using dependent types

    Atkey, R., 2008, Types for Proofs and Programs (TYPES 2007): Lecture Notes in Computer Science. [Berlin]: Springer, Vol. 4941. p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 4941).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    8 Citations (Scopus)
    2 Downloads (Pure)