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:9 - 2 self

Documents Related by Co-Citation

568 Term Rewriting Systems – J. W. Klop - 1992
14 Algebraically generalized recursive function theory – H R Strong - 1968
845 Theory of recursive functions and effective computability – Hartley Rogers - 1967
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
703 Introduction to Metamathematics – S Kleene - 1952
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
9 On the existence of extensional partial combinatory algebras – Inge Bethke - 1987