Tutorial to locales and locale interpretation
From MaRDI portal
Recommendations
Cited in
(20)- A generic and executable formalization of signature-based Gröbner basis algorithms
- A modular first formalisation of combinatorial design theory
- Exploring the structure of an algebra text with locales
- First steps towards a formalization of forcing
- Locales: a module system for mathematical theories
- scientific article; zbMATH DE number 1614689 (Why is no real title available?)
- Verified efficient enumeration of plane graphs modulo isomorphism
- Local Theory Specifications in Isabelle/Isar
- Regular_Algebras
- Types for Proofs and Programs
- Interpretation of Locales in Isabelle: Theories and Proof Contexts
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
- An Iabelle/HOL formalization of narrowing and multiset narrowing for E-unifiability, reachability and infeasibility
- A formalization of the Lévy-Prokhorov metric in Isabelle/HOL
- Relative security: (dis)proving resilience against semantic optimization vulnerabilities in Isabelle/HOL. Extended version
- An Isabelle/HOL formalization of semi-Thue and conditional semi-Thue systems
- Information Flow Control via Stateful Intransitive Noninterference in Language IMP
- Hypergraph Colouring Bounds
- Extension of Stateful Intransitive Noninterference with Inputs, Outputs, and Nondeterminism in Language IMP
- Verification of Query Optimization Algorithms
This page was built for publication: Tutorial to locales and locale interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3062061)
