| 2009 | ||
|---|---|---|
| 3 | Jeffrey Sarnat, Carsten Schürmann: Lexicographic Path Induction. TLCA 2009: 279-293 | |
| 2008 | ||
| 2 | Carsten Schürmann, Jeffrey Sarnat: Structural Logical Relations. LICS 2008: 69-80 | |
| 2005 | ||
| 1 | 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] [3] |