Trevor Jim
From MaRDI portal
Person:1974451
Available identifiers
zbMath Open jim.trevorMaRDI QIDQ1974451
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Full abstraction and the Context Lemma (preliminary report) | 2022-08-16 | Paper |
| Generalized certificate revocation | 2015-03-17 | Paper |
| A New Method for Dependent Parsing | 2011-05-19 | Paper |
| Certifying compilation and run-time code generation | 2003-04-06 | Paper |
| Compiling for template-based run-time code generation | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365943 | 2002-11-24 | Paper |
| Policy-directed certificate retrieval | 2001-11-01 | Paper |
| Shrinking lambda expressions in linear time | 1998-08-03 | Paper |
| Full Abstraction and the Context Lemma | 1997-02-24 | 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: Trevor Jim
