Information for "Graph easy sets of mute lambda terms"

Basic information

Display title	Graph easy sets of mute lambda terms
Default sort key	Graph easy sets of mute lambda terms
Page length (in bytes)	15
Namespace ID	0
Page ID	8571625
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	Q288793

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Import240129110155 (talk \| contribs)
Date of page creation	03:04, 30 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	20:27, 10 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded templates (18)	Pages included on this page: Template:Badge (view source) Template:BadgeSimple (view source) Template:DeepChat (view source) Template:ItemCards/styles.css (view source) Template:Publication (view source) Template:Publication/styles.css (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationCitesWork (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	published in Miscellaneous (e.g. entity existence) Label: en full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms Title Label: en Theoretical Computer Science Label: en Some new results on easy lambda-terms Title Label: en Isomorphism and equational equivalence of continuous $\lambda$-models Title Label: en From computation to foundations via functions and application: The $\lambda$-calculus and its webbed models Title Label: en Consistency of a $\lambda$-theory with $n$-tuples and easy term Title Label: en Antonio Bucciarelli Label: en Title Easiness in graph models Title Label: en A class of bounded functions, a database language and an extended lambda calculus Title Simple easy terms Label: en Title G. Favro Label: en Title Graph easy sets of mute lambda terms Title Miscellaneous (e.g. entity existence) Label: en Some statements Sitelink Easy lambda-terms are not always simple Title Label: en Decomposing the lattice of meaningless sets in the infinitary lambda calculus Title Label: en Q3206926 Title A filter lambda model and the completeness of type assignment Title Label: en Antonino Salibra Label: en Title Graph lambda theories Label: en Title Not Enough Points Is Enough Title Label: en Q3691635 Label: en Label: mul Title Q3922646 Title Q3982064 Title Q4128535 Title The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus Label: en Title Q4274979 Title Q4448355 Label: en Label: mul Title Theoretical Pearls:<i>Representing ‘undefined’ in lambda calculus</i> Title Label: en Q4896520 Label: en Label: mul Title Minimal $\lambda$-theories by ultraproducts Title Label: en Q5369483 Label: en Label: mul Title Weakening the axiom of overlap in infinitary lambda calculus Title Label: en Mathematical Foundations of Computer Science 2003 Title Label: en Graph models of $\lambda$-calculus at work, and variations Title Label: en The þ-function in λ-<i>K</i>-conversion Title Label: en Alberto Carraro Label: en Title Forcing in stable models of untyped $\lambda$-calculus Title Label: en The lambda calculus. Its syntax and semantics. Rev. ed. Title Label: en