Another look at function domains

DOI10.1016/J.ENTCS.2009.07.084MaRDI QIDQ2805150zbMATH OpenOpenAlexFDO

Authors Ana Bove

Publication date 10 May 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.084

zbMATH Keywords

constructive type theorygeneral recursive functionsnested functionspartial functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1863381
• Typed Lambda Calculi and Applications
• A Type of Partial Recursive Functions
• scientific article; zbMATH DE number 2003149
• Computation by Prophecy

Cites work

• A general formulation of simultaneous inductive-recursive definitions in type theory
• A Type of Partial Recursive Functions
• Computation by Prophecy
• Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
• General Recursion via Coinductive Types
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 2003149 (Why is no real title available?)
• scientific article; zbMATH DE number 1863381 (Why is no real title available?)
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Modelling general recursion in type theory
• Partial Recursive Functions in Higher-Order Logic
• The calculus of constructions

Cited in

(9)

• Simple general recursion in type theory
• scientific article; zbMATH DE number 2185679 (Why is no real title available?)
• A Purely Definitional Universal Domain
• A Type of Partial Recursive Functions
• scientific article; zbMATH DE number 3938531 (Why is no real title available?)
• Modelling general recursion in type theory
• Typed Lambda Calculi and Applications
• Structured general corecursion and coinductive graphs (extended abstract)
• Logical Approaches to Computational Barriers

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Another look at function domains

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