Two extensions of system ${\mathsf {F}}$ with (co)iteration and primitive (co)recursion principles

Authors: Favio Ezequiel Miranda-Perea
Publication date: 1 January 2009
Publisher

Abstract

Abstract is not available.

Similar works

Full text

thumbnail-image

Available Versions

Numérisation de Documents Anciens Mathématiques

redirect

oai

oai:numdam.org:ITA_2009__43_4_...

Last time updated on 16/06/2016