Partial combinatory algebras of functions

DOI10.1215/00294527-1499381zbMath1248.03026arXiv0905.2665OpenAlexW2594284570MaRDI QIDQ654017

Jaap van Oosten

Publication date: 21 December 2011

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

Full work available at URL: https://arxiv.org/abs/0905.2665

zbMATH Keywords

partial combinatory algebrarealizability topospreorder-enriched categorysequential function

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Unnamed Item ⋮ Continuous and monotone machines ⋮ Third-order functionals on partial combinatory algebras

This page was built for publication: Partial combinatory algebras of functions