An irregular filter model

DOI10.1016/J.TCS.2008.01.047MaRDI QIDQ930872zbMATH OpenOpenAlexFDO

Authors Fabio Alessi

Publication date 24 June 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2008.01.047

zbMATH Keywords

latticesintersection typeslambda calculus semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• A filter technique based on regularization theory
• A Non-Linear Filter
• Generalized filter models
• A new nonlinear filter
• Modelling progressive filtering
• Types for Proofs and Programs
• Non-Gaussian Filter for Continuous-Discrete Models
• Nonminimax filtering in unknown irregular constrained observation noise
• A filtration model with hysteresis

Cites work

• scientific article; zbMATH DE number 3889502 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 2044491 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1456951 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• A complete characterization of complete intersection-type preorders
• A domain equation for bisimulation
• A filter lambda model and the completeness of type assignment
• Algebras and combinators
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• An extension of basic functionality theory for -calculus
• Behavioural inverse limit \(\lambda\)-models
• Compositional characterisations of \(\lambda\)-terms using intersection types
• Continuous Lattices and Domains
• Cut-elimination in the strict intersection type assignment system is strongly normalizing
• Data Types as Lattices
• Domain theory in logical form
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Full abstraction in the lazy lambda calculus
• Intersection types and domain operators
• Lambda‐Calculus Models and Extensionality
• Semantical analysis of perpetual strategies in -calculus
• The Category-Theoretic Solution of Recursive Domain Equations
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The parametric lambda calculus. A metamodel for computation.
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models

Cited in

(3)

• Recursive Domain Equations of Filter Models
• scientific article; zbMATH DE number 2044491 (Why is no real title available?)
• Types for Proofs and Programs

This page was built for publication: An irregular filter model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q930872)