Computational foundations of basic recursive function theory

Authors:
Robert L. Constable;Scott F. Smith
Affiliations:
-;-
Venue:
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Year:
1993

General Recursion on Second Order Term Algebras

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
A coinductive monad for prop-bounded recursion

PLPV '07 Proceedings of the 2007 workshop on Programming languages meets program verification
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Formal program optimization in nuprl using computational equivalence and partial types

ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving

Hi-index	0.00