scientific article; zbMATH DE number 2003149

zbMath1023.03532MaRDI QIDQ4435459

Ana Bove

Publication date: 12 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460039.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

A Type of Partial Recursive Functions ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Another Look at Function Domains ⋮ Using Structural Recursion for Corecursion ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq

This page was built for publication: