Searching for "Proving Algorithms by Tail Functions" – sorted by Relevance.
-
The Discoveries of Continuations
- at the Instytut Maszyn Matematycznych in Warsaw) circulated a working paper entitled "Proving Algorithms by Tail
- Cited by 79 (1 self) – Add To MetaCart

