Third-order functionals on partial combinatory algebras

Annals of Pure and Applied Logic 174 (2):103205 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103205

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
The extensional ordering of the sequential functionals.Dag Normann & V. Yu Sazonov - 2012 - Annals of Pure and Applied Logic 163 (5):575-603.
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.
Relative and modified relative realizability.Lars Birkedal & Jaap van Oosten - 2002 - Annals of Pure and Applied Logic 118 (1-2):115-132.
Determinacy in third order arithmetic.Sherwood Hachtman - 2017 - Annals of Pure and Applied Logic 168 (11):2008-2021.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation.Peter Dybjer & Denis Kuperberg - 2012 - Annals of Pure and Applied Logic 163 (2):122-131.
Conditional algebras.Sergio Celani, Rafał Gruszczyński & Paula Menchón - forthcoming - Annals of Pure and Applied Logic.
On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.

Analytics

Added to PP
2022-10-15

Downloads
14 (#1,280,710)

6 months
7 (#718,806)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A General Form of Relative Recursion.Jaap van Oosten - 2006 - Notre Dame Journal of Formal Logic 47 (3):311-318.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.

Add more references