The Delphin Project
Department of Computer Science
Yale University
51 Prospect St.
New Haven, CT 06520-8285
U.S.A.
|
|
Home |
|
|
Publications |
Publications
| [S01a] | Carsten Schürmann. Recursion for Higher-Order Encodings. Proceedings of Computer Science Logic (CSL 2001), Paris, France. LNCS 2142, pp 585-599, 2001 |