Solving functional equations at higher types; some examples and some theorems

DOI10.1305/ndjfl/1093636524zbMath0623.03018OpenAlexW2075283223MaRDI QIDQ1091380

Richard Statman

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636524

zbMATH Keywords

solvability of functional equations in extensions of modelssolvability of higher type functional equations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Higher-type and set recursion theory (03D65)

Related Items (3)

On the Jacopini technique ⋮ On the logic of unification ⋮ On the Yoneda completion of a quasi-metric space

This page was built for publication: Solving functional equations at higher types; some examples and some theorems