BibTeX
@MISC{Schürmann_recursionfor,
author = {Carsten Schürmann},
title = {Recursion for Higher-Order Encodings},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a calculus of partial recursive functions that range over arbitrary and possibly higher-order objects in LF [HHP93]. Its most novel features include recursion under lambda-binders and matching against dynamically introduced parameters.
