Another Look at Function Domains

DOI10.1016/j.entcs.2009.07.084zbMath1337.68062OpenAlexW2070925023MaRDI QIDQ2805150

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

partial functionsconstructive type theorygeneral recursive functionsnested functions

Mathematics Subject Classification ID

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• The calculus of constructions
• Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
• A Type of Partial Recursive Functions
• Computation by Prophecy
• Partial Recursive Functions in Higher-Order Logic
• A general formulation of simultaneous inductive-recursive definitions in type theory
• General Recursion via Coinductive Types
• Modelling general recursion in type theory

This page was built for publication: Another Look at Function Domains