Thomas Philip Jensen
Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0002-4064-7170
1 - 1 ud af 1Pr. side: 50
- 2020
- 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/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
ID: 119744676
Flest downloads
-
12
downloads
Verification of Program Transformations with Inductive Refinement Types
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet