Thomas Philip Jensen

Thomas Philip Jensen


  1. 2021
  2. Udgivet

    Verification of Program Transformations with Inductive Refinement Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Dimovski, A. S. & Wasowski, A., 2021, I: ACM Transactions on Software Engineering and Methodology. 30, 1, 33 s., 5.

    Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

  3. 2020
  4. Udgivet

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, Thomas Philip, Møgelberg, R. E. & Wąsowski, A., 2020, sFrom Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer VS, s. 105-131 27 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12065 LNCS).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

ID: 119744676