Similar Items: W-types in setoids
- Constructing categories and setoids of setoids in type theory
- Separation Property for wB- and wS-regular Languages
- 280-μW MICS/MedRadio CMOS Receiver Front-End for In-Vivo Biomedical Implants
- W-state graphs: Structure and Algorithms
- Normalisation by Evaluation for Type Theory, in Type Theory
- Quotients, inductive types, and quotient inductive types