Q5111316 (Q5111316): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 15:58, 30 December 2024

scientific article; zbMATH DE number 7204439

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7204439

Statements

scholarly article

0 references

Benedetto Intrigila

0 references

Giulio Manzonetto

0 references

Andrew Polonsky

0 references

publication date

26 May 2020

0 references

zbMATH Keywords

lambda calculus

0 references

observational equivalence

0 references

Böhm trees

0 references

\(\omega\)-rule

0 references

MaRDI profile type

MaRDI publication profile

0 references

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

0 references

Degrees of sensible lambda theories

0 references

On the characterization of models of <i>H</i>

0 references

New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.

0 references

Breaking through the normalization barrier: a self-interpreter for f-omega

0 references

0 references

Type theories, normal forms, and \(D_{\infty}\)-lambda-models

0 references

0 references

A combinatory account of internal structure

0 references

0 references

A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus

0 references

On structural properties of eta-expansions of identity

0 references

The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus

0 references

The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus

0 references

The Lattice of Lambda Theories

0 references

A General Class of Models of $\mathcal{H}^*$

0 references

Relational graph models, Taylor expansion and extensionality

0 references

Efficient self-interpretation in lambda calculus

0 references

The λ-calculus is ω-incomplete

0 references

Axiomatizing the Quote

0 references

The parametric lambda calculus. A metamodel for computation.

0 references

0 references

0 references

0 references

The infinitary lambda calculus of the infinite eta Böhm trees

0 references

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

10.4230/LIPICS.FSCD.2017.20

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5111316

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