- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |