Pages that link to "Item:Q5277759"
From MaRDI portal
The following pages link to Defining functions on equivalence classes (Q5277759):
Displaying 9 items.
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- Exploring the structure of an algebra text with locales (Q2209550) (← links)
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL (Q2938044) (← links)
- Let’s Get Physical: Models and Methods for Real-World Security Protocols (Q3183515) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- A Formalisation of Finite Automata Using Hereditarily Finite Sets (Q3454094) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? (Q5495927) (← links)