Parallelism in realizability models (Q6199588): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 14:16, 27 August 2024

scientific article; zbMATH DE number 7810571

Language	Label	Description	Also known as
English	Parallelism in realizability models	scientific article; zbMATH DE number 7810571

Statements

scholarly article

0 references

Parallelism in realizability models (English)

0 references

10.1007/978-3-031-39784-4_18

0 references

0 references

Logic, Language, Information, and Computation

0 references

publication date

28 February 2024

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

zbMATH Keywords

realizability

0 references

partial combinatory algebra

0 references

parallel-or function

0 references

MaRDI profile type

MaRDI publication profile

0 references

Linear realizability and full completeness for typed lambda-calculi

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

0 references

More on Geometric Morphisms between Realizability Toposes

0 references

Head reduction and normalization in a call-by-value lambda-calculus

0 references

0 references

0 references

On the interpretation of intuitionistic number theory

0 references

A uniform approach to domain theory in realizability models

0 references

Generalized Banach-Mazur functionals in the topos of recursive sets

0 references

Relative computability in the effective topos

0 references

From term models to domains

0 references

Call-by-name, call-by-value and the \(\lambda\)-calculus

0 references

LCF considered as a programming language

0 references

Realizability. An introduction to its categorical side

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6199588

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6199588&oldid=37639492"