Effective applicative structures (Q5057467)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7633578

Language	Label	Description	Also known as
English	Effective applicative structures	scientific article; zbMATH DE number 7633578

Statements

scholarly article

0 references

Effective applicative structures (English)

0 references

0 references

Agata Ciabattoni

0 references

Category Theory and Computer Science

0 references

publication date

16 December 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/3-540-60164-3_21

0 references

A sufficient condition for completability of partial combinatory algebras

0 references

0 references

0 references

0 references

A discrimination algorithm inside \(\lambda -\beta\)-calculus

0 references

0 references

0 references

The discrimination theorem holds for combinatory weak reduction

0 references

0 references

Classical recursion theory. The theory of functions and sets of natural numbers

0 references

0 references

A theory of rules for enumerated classes of functions

0 references

Partial Applicative Theories and Explicit Substitutions

0 references

Algebraically Generalized Recursive Function Theory

0 references

Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-60164-3_21

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5057467

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