| |
| 2008 | ||
|---|---|---|
| 2 | EE | Carsten Schürmann, Jeffrey Sarnat: Structural Logical Relations. LICS 2008: 69-80 |
| 2005 | ||
| 1 | EE | Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat: The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA 2005: 339-353 |
| 1 | Adam Poswolsky | [1] |
| 2 | Carsten Schürmann | [1] [2] |