Thomas Philip Jensen

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/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt