scientific article; zbMATH DE number 1863381

zbMath1005.68512MaRDI QIDQ4790656

Ana Bove, Venanzio Capretta

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520121

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

Representations and the foundations of mathematics ⋮ Turing-Completeness Totally Free ⋮ Coalgebras in functional programming and type theory ⋮ A Type of Partial Recursive Functions ⋮ A simple canonical representation of rational numbers ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Recursive coalgebras from comonads ⋮ Type Theory Should Eat Itself ⋮ Another Look at Function Domains ⋮ Indexed induction-recursion ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq

Uses Software

• ALF
• IMPS

This page was built for publication: