Back to Results
First PageMeta Content
Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Mathematical logic / Algebraic structures / Predicate logic / Distributive lattice / Complete Heyting algebra / Mereology / Partially ordered set


Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover
Add to Reading List

Document Date: 2018-08-15 07:19:09


Open Document

File Size: 361,50 KB

Share Result on Facebook
UPDATE