Représentations des fonctions récursives dans les catégories
In this thesis possible characterizations of the category of primitive recursive functions and the category of recursive functions are studied. Closed cartesian categories, closed under the Peano-Lawvere axiom, whlch are called pre-recursive, are considered first. Representable functlons in such a c...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1977
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66635 |