Graph lambda theories (Q3535680)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Graph lambda theories	scientific article

Statements

scholarly article

0 references

Graph lambda theories (English)

0 references

Antonio Bucciarelli

0 references

Antonino Salibra

0 references

Mathematical Structures in Computer Science

0 references

publication date

13 November 2008

0 references

MaRDI profile type

MaRDI publication profile

0 references

Order-incompleteness and finite lambda reduction models

0 references

An extension of basic functionality theory for \(\lambda\)-calculus

0 references

Easiness in graph models

0 references

Graph models of $\lambda$-calculus at work, and variations

0 references

From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models

0 references

Strong stability and the incompleteness of stable models for \(\lambda\)-calculus

0 references

A filter lambda model and the completeness of type assignment

0 references

Not Enough Points Is Enough

0 references

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

0 references

Domain theory in logical form

0 references

Topological incompleteness and order incompleteness of the lambda calculus

0 references

Set-theoretical and other elementary models of the \(\lambda\)-calculus

0 references

Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms

0 references

On the construction of stable models of untyped \(\lambda\)-calculus

0 references

Isomorphism and equational equivalence of continuous \(\lambda\)-models

0 references

An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus

0 references

Identifiers

zbMATH Open document ID

0 references

10.1017/S0960129508006683

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3535680

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