An irregular filter model
type: Item
instance of: scholarly article
title: An irregular filter model
zbMATH Open document ID: 1146.68046
author: Fabio Alessi
published in: Theoretical Computer Science
publication date: 2008-06-24T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5292222
zbMATH Keywords: lambda calculus semantics
zbMATH Keywords: intersection types
zbMATH Keywords: lattices
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.01.047
OpenAlex ID: W2065881193
cites work: Domain theory in logical form
cites work: A domain equation for bisimulation
cites work: Full abstraction in the lazy lambda calculus
cites work: Q4693062
cites work: Q4954440
cites work: Q4448355
cites work: Intersection types and domain operators
cites work: Cut-elimination in the strict intersection type assignment system is strongly normalizing
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A filter lambda model and the completeness of type assignment
cites work: From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Q3221961
cites work: Type theories, normal forms, and \(D_{\infty}\)-lambda-models
cites work: Behavioural inverse limit \(\lambda\)-models
cites work: A complete characterization of complete intersection-type preorders
cites work: Compositional characterisations of \(\lambda\)-terms using intersection types
cites work: Q4018065
cites work: Algebras and combinators
cites work: Continuous Lattices and Domains
cites work: Lambda‐Calculus Models and Extensionality
cites work: Semantical analysis of perpetual strategies in \(\lambda\)-calculus
cites work: An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
cites work: Q5639839
cites work: The parametric lambda calculus. A metamodel for computation.
cites work: Data Types as Lattices
cites work: Q5649639
cites work: Q3959414
cites work: The Category-Theoretic Solution of Recursive Domain Equations
DOI: 10.1016/J.TCS.2008.01.047
Recommended article: A filter technique based on regularization theory
Recommended article: A Non-Linear Filter
Recommended article: Generalized filter models
Recommended article: A new nonlinear filter
Recommended article: Modelling progressive filtering
Recommended article: Types for Proofs and Programs
Recommended article: Non-Gaussian Filter for Continuous-Discrete Models
Recommended article: Nonminimax filtering in unknown irregular constrained observation noise
Recommended article: A filtration model with hysteresis
description: scientific article; zbMATH DE number 5292222