Pages that link to "Item:Q2986838"
From MaRDI portal
The following pages link to Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (Q2986838):
Displaying 19 items.
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- Soundness and completeness proofs by coinductive methods (Q2362498) (← links)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Deriving Comparators and Show Functions in Isabelle/HOL (Q2945654) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Friends with Benefits (Q2988636) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- (Q5111307) (← links)
- (Q5875441) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- Linear resources in Isabelle/HOL (Q6552504) (← links)
