Partial functions in a total setting
From MaRDI portal
Publication:679251
DOI10.1023/A:1005702928286zbMath0870.68136MaRDI QIDQ679251
John Longley, Simon Finn, Michael Paul Fourman
Publication date: 7 September 1997
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Mechanization of proofs and logical operations (03B35) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
A two-valued logic for properties of strict functional programs allowing partial functions ⋮ Partiality and recursion in interactive theorem provers – an overview ⋮ Partial and nested recursive function definitions in higher-order logic