scientific article; zbMATH DE number 2003149

MaRDI QIDQ4435459zbMATH OpenFDO

Authors Ana Bove

Publication date 12 November 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Modelling general recursion in type theory
• scientific article; zbMATH DE number 1863381
• Simple general recursion in type theory
• Computation by Prophecy
• Terminating general recursion

Cited in

(22)

• Type inference with recursive types: Syntax and semantics
• Typed Lambda Calculi and Applications
• General Recursion via Coinductive Types
• Using Structural Recursion for Corecursion
• scientific article; zbMATH DE number 3980461 (Why is no real title available?)
• Galois Connections for Recursive Types
• Computation by Prophecy
• Another look at function domains
• General recursive functions in a very simply interpretable typed \(\lambda\)-calculus
• scientific article; zbMATH DE number 1863381 (Why is no real title available?)
• A Type of Partial Recursive Functions
• Inductive and coinductive components of corecursive functions in Coq
• scientific article; zbMATH DE number 4126684 (Why is no real title available?)
• scientific article; zbMATH DE number 827981 (Why is no real title available?)
• Terminating general recursion
• Modelling general recursion in type theory
• scientific article; zbMATH DE number 1670732 (Why is no real title available?)
• A Generalized Modality for Recursion
• Partial and nested recursive function definitions in higher-order logic
• Simple general recursion in type theory
• Constructing recursion operators in intuitionistic type theory
• scientific article; zbMATH DE number 179038 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435459)