Jacob Thamsborg

Available identifiers

zbMath Open thamsborg.jacobMaRDI QIDQ444499

List of research outcomes

Publication	Date of Publication	Type
A Kripke logical relation for effect-based program transformations	2016-07-07	Paper
A kripke logical relation for effect-based program transformations	2015-03-05	Paper
Logical relations for fine-grained concurrency	2014-11-27	Paper
Step-indexed kripke models over recursive worlds	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4649541	2012-11-22	Paper
Two for the Price of One: Lifting Separation Logic Assertions	2012-09-25	Paper
A relational realizability model for higher-order stateful ADTs	2012-08-14	Paper
The category-theoretic solution of recursive metric-space equations	2010-11-11	Paper
Realisability semantics of parametric polymorphism, general references and recursive types	2010-08-26	Paper
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types	2009-03-31	Paper
Generating Specials: The Zorro Algorithm	2006-08-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacob Thamsborg