Computation by Prophecy

DOI10.1007/978-3-540-73228-0_7zbMath1215.03047OpenAlexW1600645390MaRDI QIDQ3612623

Ana Bove, Venanzio Capretta

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_7

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Recursive functions and relations, subrecursive hierarchies (03D20) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Coalgebras in functional programming and type theory ⋮ A Type of Partial Recursive Functions ⋮ Partiality and recursion in interactive theorem provers – an overview ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Another Look at Function Domains

This page was built for publication: Computation by Prophecy