Universidad Complutense de Madrid
E-Prints Complutense

Primitive recursive algebraic theories with applications to program schemes

Impacto

Downloads

Downloads per month over past year



K�ühnel, W. and Meseguer Guaita, José and Pfender, Michael and Sols, Ignacio (1975) Primitive recursive algebraic theories with applications to program schemes. Cahiers de Topologie et Géométrie Différentielle Catégoriques, 16 (3). pp. 271-273. ISSN 0008-0004

Official URL: http://www.numdam.org/numdam-bin/browse?j=CTGDC&sl=0


URLURL Type
http://www.numdam.org/?lang=enPublisher




Item Type:Article
Additional Information:

Deuxième colloque sur l´algèbre des catégories. Amiens-1975. Résumés des conférences.

Subjects:Sciences > Mathematics > Mathematical analysis
ID Code:22041
Deposited On:21 Jun 2013 16:03
Last Modified:22 Jan 2016 16:02

Origin of downloads

Repository Staff Only: item control page