A Logic of Recursion

Academic Article

Publication Date:

1989

Iris type:

01.01 Articolo in rivista

List of contributors:

Mascari, GIOVANNI FRANCESCO

Handle:

https://iris.cnr.it/handle/20.500.14243/219016

Published in:

INFORMATION AND COMPUTATION

Journal