Sciweavers

Share
3 search results - page 1 / 1
» Quotients revisited for Isabelle HOL
Sort
View
SAC
2011
ACM
8 years 4 months ago
Quotients revisited for Isabelle/HOL
Higher-Order Logic (HOL) is based on a small logic kernel, whose
Cezary Kaliszyk, Christian Urban
TPHOL
1997
IEEE
9 years 5 months ago
Higher Order Quotients and their Implementation in Isabelle HOL
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
Oscar Slotosch
AISC
2010
Springer
9 years 5 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in speciļ¬cation languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
books