Dataset - CKAN

An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus.

11 pages. A preliminary version appeared as Research Report IAC CNR Roma , N.57 (11/2004), november 2004.
- HTML
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial...

Colloque avec actes et comité de lecture. internationale.
- HTML
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH

Colloque avec actes et comité de lecture. internationale.
- HTML

You can also access this registry using the API (see API Docs).

3 datasets found