Simple Easy Terms (Q2842831)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Simple Easy Terms	scientific article

Statements

scholarly article

0 references

Simple Easy Terms (English)

0 references

0 references

0 references

Electronic Notes in Theoretical Computer Science

0 references

publication date

16 August 2013

0 references

MaRDI profile type

MaRDI publication profile

0 references

Domain theory in logical form

0 references

Full abstraction in the lazy lambda calculus

0 references

0 references

0 references

A filter lambda model and the completeness of type assignment

0 references

0 references

Some new results on easy lambda-terms

0 references

0 references

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

0 references

0 references

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

0 references

0 references

0 references

0 references

Lambda‐Calculus Models and Extensionality

0 references

Semantical analysis of perpetual strategies in \(\lambda\)-calculus

0 references

0 references

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

0 references

0 references

0 references

0 references

On the Jacopini technique

0 references

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

0 references

0 references

The call-by-value λ-calculus: a semantic investigation

0 references

0 references

full work available at URL

https://doi.org/10.1016/s1571-0661(04)80487-0

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/S1571-0661(04)80487-0

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2842831

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