The following pages link to The formal language of recursion (Q3480027):
Displaying 14 items.
- Towards a geometry of recursion (Q534710) (← links)
- Intensional aspects of function definitions (Q673180) (← links)
- Computable concurrent processes (Q673972) (← links)
- A model of concurrency with fair merge and full recursion (Q808690) (← links)
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- The unfolding of non-finitist arithmetic (Q1577479) (← links)
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- Axiomatization and characterization of BSP algorithms (Q2011205) (← links)
- A new approach to abstract data types, I Informal development (Q4017460) (← links)
- The logic of recursive equations (Q4212915) (← links)
- (Q4474849) (← links)
- Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
- Feferman on Computability (Q5214780) (← links)
- Logic operators and quantifiers in type-theory of algorithms (Q6560410) (← links)