Effective Applicative Structures (1995)

Cached

Download Links

by Andrea Asperti , Agata Ciabattoni , Piazza Porta , S. Donato
Venue:In: Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95). Springer-Verlag Lecture Notes in Computer Science 953 81--95
Citations:7 - 2 self

Documents Related by Co-Citation

13 Algebraically generalized recursive function theory – H R Strong - 1968
5 Extending partial combinatory algebras – J W Klop - 1982
9 On the existence of extensional partial combinatory algebras – Inge Bethke - 1987
12 Collapsing Partial Combinatory Algebras – Inge Bethke, Jan Willem Klop - 1996
567 Term Rewriting Systems – J. W. Klop - 1992
8 Foundations of Constructive Mathematics, volume 6 of Ergebnisse der Mathematik and ihrer Grenzgebiete . Springer-Verlag – M Beeson - 1985
11 Indexing of subrecursive classes – D Kozen - 1980
4 Some theorems on classes of recursively enumerable sets – J C E Dekker, J Myhill - 1958
7 Experiments with implementations of two theoretical constructions – Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones - 1989
23 Extensional PERs – P Freyd, P Mulry, G Rosolini, D Scott - 1990
20 On Effective Procedures for Speeding Up Algorithms – M Blum - 1971
27 Computational Complexity and the Existence of Complexity Gaps – A Borodin - 1972
21 Constant Time Factors Do Matter – Neil D Jones
146 A machine-independent theory of the complexity of recursive functions – M Blum - 1967
190 Stearns: On the Computational Complexity of Algorithms – J Hartmanis, R E - 1965
119 Computability: An Introduction to Recursive Function Theory – N J Cutland - 1986
838 Theory of Recursive Functions and Effective Computability – H Rogers - 1967
308 Classical Recursion Theory – P Odifreddi - 1989
2 Introduction to Programming Language Theory. Forthcoming – J C Mitchell