Logical semantics for stability
DOI10.1016/J.ENTCS.2009.07.101zbMATH Open1338.03018OpenAlexW2037831204WikidataQ57722177 ScholiaQ57722177MaRDI QIDQ2805169FDOQ2805169
Authors: Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca 
Publication date: 10 May 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.101
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)
Cites Work
- Domain theory in logical form
- Title not available (Why is that?)
- Linear logic
- The system \({\mathcal F}\) of variable types, fifteen years later
- An extension of basic functionality theory for \(\lambda\)-calculus
- Title not available (Why is that?)
- The parametric lambda calculus. A metamodel for computation.
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models
- A filter lambda model and the completeness of type assignment
- Full abstraction in the lazy lambda calculus
- Set-theoretical and other elementary models of the \(\lambda\)-calculus
- Title not available (Why is that?)
- Lambda‐Calculus Models and Extensionality
- Title not available (Why is that?)
- What is a model of the lambda calculus?
- Models of the lambda calculus
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
- Behavioural inverse limit \(\lambda\)-models
- Title not available (Why is that?)
Cited In (6)
This page was built for publication: Logical semantics for stability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805169)
